futex(&(0x7f00000031c0), 0x5, 0x0, 0x0, 0x0, 0x0)