inline xcb_sync_int64_t
int64_to_xcb_sync_int64 (int64_t i)
{
    xcb_sync_int64_t n;
    n.lo = i;
    n.hi = (uint32_t) (((uint64_t) i) >> 32);
    return n;
}

inline int64_t
xcb_sync_int64_to_int64 (xcb_sync_int64_t n)
{
    return (int64_t)((((uint64_t)n.hi) << 32) | ((uint64_t)n.lo));
}