Constant KEY_MAGNETO3_START 

pub const KEY_MAGNETO3_START: u32 = 65943;