public void visit(UInt64Type t)
 {
     throw new NotImplementedException();
 }
 public virtual void visit(UInt64Type t)
 {
     // Do nothing; leave the implementation to the main class
 }