Constant obs_key_OBS_KEY_0x51 

pub const obs_key_OBS_KEY_0x51: obs_key = 518;