swipl-abi-2-68-e8412d2c-a5b83da7
