// Tracer.java [dynamic]

interface Tracer

{

  void trace(String msg);

}