@$pb.TagNumber(9) $core.String get robotId => $_getSZ(8);
@$pb.TagNumber(9) set robotId($core.String v) { $_setString(8, v); }