swipl-abi-2-68-51ccb6c4-a5b83da7
