swipl-abi-2-68-824fd9eb-e5ee110c
