pub type Spec_Hash_Definitions_hash_alg = u8;