@$pb.TagNumber(7) $6.Coin get value => $_getN(6);
@$pb.TagNumber(7) set value($6.Coin v) { setField(7, v); }