Constant BST_PUSHED

pub const BST_PUSHED: u32 = 4u32;