swipl-abi-2-68-92cb37ec-a5b83da7
