github.com/google/syzkaller@v0.0.0-20251211124644-a066d2bc4b02/sys/linux/test/file (about)

     1  r0 = openat(0xffffffffffffff9c, &AUTO='./file1\x00', 0x42, 0x1ff)
     2  write(r0, &AUTO="01010101", 0x4)
     3  read(r0, &AUTO=""/4, 0x4)
     4  close(r0)