swipl-abi-2-68-44f4678e-a5b83da7
