swipl-abi-2-68-63ea155d-a5b83da7
