swipl-abi-2-68-307a07df-a5b83da7
