swipl-abi-2-68-56790c64-a5b83da7
