futex(&(0x7f0000004600), 0x8, 0x0, &(0x7f0000004640)={0x0, 0x3938700}, 0x0, 0x0)