Constant TBSTATE_MARKED 

pub const TBSTATE_MARKED: u32 = 128u32;