Constant pgp_hash_algorithm_PGP_HAVAL 

pub const pgp_hash_algorithm_PGP_HAVAL: pgp_hash_algorithm = 7;