futex(&(0x7f0000000080)=0x1, 0xc, 0x1, &(0x7f0000000100), &(0x7f0000000180), 0x1)