pub const TIFLAGS_EXTENDDISPATCHONLY: u32 = 1u32;