/* From /usr/include/utils.h on GNU/Linux */

static inline int32_t swap32(int32_t x){
  return((((u_int32_t)x & 0x000000ffU) << 24) |
         (((u_int32_t)x & 0x0000ff00U) <<  8) |
         (((u_int32_t)x & 0x00ff0000U) >>  8) |
         (((u_int32_t)x & 0xff000000U) >> 24));
}