public static Event Clone(Event orig) { return (Event)(orig == null ? null : orig.Clone()); }
public static Event Lift(int val, Event e) { var res = (Event)e.Clone(); res.Lift(val); return res; }