pub const pgp_hash_algorithm_PGP_HAVAL: pgp_hash_algorithm = 7;