Constant WORDBOX_FIXNUM_SHIFT 

pub const WORDBOX_FIXNUM_SHIFT: u32 = 1;