swipl-abi-2-68-dc805286-a5b83da7
