@$pb.TagNumber(12) File get file => $_getN(9);
@$pb.TagNumber(12) set file(File v) { setField(12, v); }