swipl-abi-2-68-7b75979e-a5b83da7
