swipl-abi-2-68-a9a77e92-e5ee110c
