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