futex(&(0x7f0000001180), 0x3, 0x0, &(0x7f0000001200), &(0x7f0000001240), 0x0)