Constant Hacl_Impl_Blake2_Core_M128 

pub const Hacl_Impl_Blake2_Core_M128: u32 = 1;