@TagNumber(1) String get version => $_getSZ(0);
@TagNumber(1) set version(String v) { $_setString(0, v); }