PEEK_U64
ASSERT_U64_EQ(PEEK_U64(x), 0x1122334455667788ULL);
*valp = PEEK_U64(p);
options.timing_secret = PEEK_U64(hash);