pub const MANUAL_CHECKPOINT: u32 = 16u32;