public static void Write(this int x, Wr wr) { wr.WriteInt32(x); }
public static void Write(Int val, Wr wr) { wr.WriteInt32(val); }
public override void Write(object val, Wr wr) { wr.WriteInt32((Int32)val); }