pub const TBSTATE_MARKED: u32 = 128u32;