swipl-abi-2-68-b658415a-a5b83da7
