@TagNumber(1) int get checkpoint => $_getIZ(0);
@TagNumber(1) set checkpoint(int v) { $_setUnsignedInt32(0, v); }