pub const GT_SENTINEL: u32 = 9u32;