Pieter Koopman <pieter@cs.kun.nl> wrote The Clean system provides functions for this purpose in StdDebug. Use them with care, Thanks. I didn't know about that module before.