Constant JET_bitIndexCrossProduct 

pub const JET_bitIndexCrossProduct: u32 = 16384u32;