Constant obs_task_type_OBS_TASK_DESTROY 

pub const obs_task_type_OBS_TASK_DESTROY: obs_task_type = 3;