Constant Hacl_Impl_Blake2_Core_M32 

pub const Hacl_Impl_Blake2_Core_M32: u32 = 0;