swipl-abi-2-68-b5762387-a5b83da7
