swipl-abi-2-68-22458cbd-a5b83da7
