pub type Hacl_Streaming_SHA2_state_sha2_224 = Hacl_Streaming_MD_state_32;