@TagNumber(17) int get extraRounds => $_getIZ(16);
@TagNumber(17) set extraRounds(int v) { $_setUnsignedInt32(16, v); }