[][src]Constant CCODE::BST_PUSHED

pub const BST_PUSHED: u32 = 4;