Constant obs_key_OBS_KEY_DEAD_GRAVE 

pub const obs_key_OBS_KEY_DEAD_GRAVE: obs_key = 256;