swipl-abi-2-68-7de0ab52-a5b83da7
