swipl-abi-2-68-847d0273-a5b83da7
