static Ext printExt(Ext a) { ret printWith extToString(a); }