Constant HP_TLS1PRF_SEED 

pub const HP_TLS1PRF_SEED: u32 = 7u32;