Constant CHECKPOINT_FILE_MAGIC 

pub const CHECKPOINT_FILE_MAGIC: u32 = 0x0000BEEF;