Constant undo_code_UNDO_END 

pub const undo_code_UNDO_END: undo_code = 3;