FIXED: Trapping global overflows from PL_recorded() (failed due to unsigned type)
FIXED: Trapping global overflows from PL_recorded() (failed due to unsigned
type)

edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel,edechter/swipl-devel