Constant consts_FRAME_BUCKET_SHIFT 

pub const consts_FRAME_BUCKET_SHIFT: consts = 17;