Constant pocket_prover::P4

pub const P4: u64 = 0b11111111_11111111_00000000_00000000_11111111_11111111_00000000_00000000;

0xffff_0000_ffff_0000