swipl-abi-2-68-4ee68ea7-a5b83da7
