swipl-abi-2-68-009ac4c3-a5b83da7
