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