Static P_TIMES_2_HI 

pub(crate) static P_TIMES_2_HI: u32x8

The high limbs of (2p, 2p, 2p, 2p), so that

(2p, 2p, 2p, 2p) = [P_TIMES_2_LO, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI, P_TIMES_2_HI]