other.max = this.max;
other.max = (at.dms.kjc.JExpression)at.dms.kjc.AutoCloner.cloneToplevel(this.max, other);
protected void deepCloneInto(at.dms.kjc.sir.SIRLatencyMax other) {  super.deepCloneInto(other);  other.max = this.max;}