Constant mir_coroutine_witnesses 

pub const mir_coroutine_witnesses: &str = "mir_coroutine_witnesses";