Constant JET_wrnFinishWithUndo 

pub const JET_wrnFinishWithUndo: u32 = 588u32;