Constant TBSTATE_MARKED 

pub const TBSTATE_MARKED: BYTE = 0x80;