Main {
  public static void main(String[] argv) (@
    try {
      Definitions parser = new Definitions(System.in);
      TypeRegistry registry = parser._TypeRegistry();
      registry.display();
    }
    catch(ParseError e){
      System.out.println(e.getMessage());
      System.exit(1);
    }
  @)
} 
TypeRegistry{
  public void display() to BasicType
  {
    before BasicType (@
      host.display();
    @)
  }
  public void add(BasicType type) (@
    if(get_basictype_list() == null)
      set_basictype_list(new BasicType_List(null));
    get_basictype_list().addElement(type);
  @)
}
BasicType {
  public void display() (@
    PrintWriter pw = new PrintWriter(System.out);
    universal_trv0(new DisplayVisitor(pw));
    pw.flush();
    System.out.println();
  @)
}