load_32_be
#define UNSTORE32_INT(ptr, val) (val = load_32_be(ptr))
return ((UINT64_TYPE)load_32_be(p) << 32) | load_32_be(p+4);
return ((UINT64_TYPE)load_32_be(p) << 32) | load_32_be(p+4);
if (load_32_be(ptr+4) != (ulong_t)0xffffffffU)