public static void Write(this string x, Wr wr) { wr.WriteString(x); }
public override void Write(object val, Wr wr) { wr.WriteString((String)val); }