public abstract void visit(UInt64Literal n);
public virtual void visit(UInt64Literal n) { throw new NotImplementedException(); }