pub const HP_TLS1PRF_SEED: u32 = 7u32;