Constant Spec_Cipher_Expansion_Hacl_CHACHA20 

pub const Spec_Cipher_Expansion_Hacl_CHACHA20: u32 = 0;