Constant obs_key_OBS_KEY_REDO 

pub const obs_key_OBS_KEY_REDO: obs_key = 465;