// DVisitor.java

// import edu.neu.ccs.demeter.Ident;

class DVisitor {
  void before(Input host) {
    System.out.println(host);
  }    
  void before(ID host) {
    System.out.println(host.ident.toString());
  }    
}