swipl-abi-2-68-4e79a3e2-a5b83da7
