Constant tskDEFAULT_INDEX_TO_NOTIFY 

pub const tskDEFAULT_INDEX_TO_NOTIFY: u32 = 0;