tws_swap32
tws_swap32(0xdeadbeef); /* just for test */
return((((u_int64_t)(tws_swap32(((u_int32_t *)(&(val)))[1]))) << 32) |
((u_int32_t)(tws_swap32(((u_int32_t *)(&(val)))[0]))));
u_int32_t tws_swap32(u_int32_t val);