r0 = syz_mount_image$vfat(&(0x7f0000000500), &(0x7f0000000100)='./file0\x00', 0x0, 0x2, &(0x7f0000000080)=[{&(0x7f0000010000)="eb3c906d6b66732e66617400028001000240000004f801", 0x17}, {0x0, 0x0, 0x600}], 0x0, &(0x7f0000000140)) r1 = openat(r0, &(0x7f0000000100)='./file1\x00', 0x42, 0x0) write(r1, &(0x7f00000003c0)='9', 0x1) statfs(&(0x7f0000000040)='./file0\x00', &(0x7f0000000880)=""/4096)