futex(&(0x7f0000001480)=0x1, 0x4, 0x0, &(0x7f00000014c0)={0x0, 0x3938700}, &(0x7f0000001500), 0x0)