Constant obs_key_OBS_KEY_0x53 

pub const obs_key_OBS_KEY_0x53: obs_key = 520;