public interface Trace
void
trace(String stmt)
void trace(String stmt)
stmt
Contact: Christian Werner