@$pb.TagNumber(9) $0.User get user => $_getN(6);
@$pb.TagNumber(9) set user($0.User v) { setField(9, v); }