#include "sfltron.h" void pop_trace (void)
Restores a trace state saved by push trace().
{ trace_state = pushed_state; }