swipl-abi-2-68-dddc10dc-a5b83da7
