futex(&(0x7f0000000880), 0xb, 0x0, 0x0, 0x0, 0x0)