@$pb.TagNumber(1) $core.String get choice => $_getSZ(0);
@$pb.TagNumber(1) set choice($core.String v) { $_setString(0, v); }