swipl-abi-2-68-28c848d1-a5b83da7
