swipl-abi-2-68-196c5775-e5ee110c
