swipl-abi-2-68-e1f40e53-42b1d71a
