H32
ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);
ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);
ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);
ATF_REQUIRE(H32(0x12345678ul) == 0x12345678ul);