r0 = creat(&(0x7f0000000100)='./file0\x00', 0x0)
r1 = creat(&(0x7f0000000100)='./file0\x00', 0x0)
flock(r1, 0xd69f0b97d7161db7)
flock(r0, 0xd69f0b97d7161db7)
r2 = creat(&(0x7f0000000100)='./file0\x00', 0x0)
flock(r2, 0xd69f0b97d7161db7)