public MduState(MduState that) : base(that) { hilo = that.hilo; }
public virtual void copy(MduState that) { base.copy(that); hilo = that.hilo; }