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