See pretty_trace for documentation.