Cryptol.Utils.Debug
trace
ppTrace