// Tracer.java [static]
interface Tracer
{
  void trace(String msg);
}