swipl-abi-2-68-9db0e623-a5b83da7
