pub type Hacl_Streaming_SHA2_state_sha2_256 = Hacl_Streaming_MD_state_32;