O32
ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));
ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));
ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));
ATF_REQUIRE(O32(0x12345678ul) == __bswap32(0x12345678ul));