Constant BST_PUSHED 

pub const BST_PUSHED: u32 = 4u32;