static <A> Ext<A> ext_fullToString(Ext<A> ext) {
  if (ext != null) ext.fullToString = true;
  ret ext;
}