pub const GSL_BST_RB_MAX_HEIGHT: u32 = 48;