// Tracer.pj
personality Tracer
{
  public void trace(String msg) {
    System.out.println( msg );
  }
}