Constant CASTAGNOLI_TABLE 

pub const CASTAGNOLI_TABLE: [u32; 256];