swipl-abi-2-68-af434211-e5ee110c
