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