Implements developer.{trace_back,post_mortem}()