r0 = memfd_create(&(0x7f0000000500)='*[\x00', 0x7)
fstatfs(r0, &(0x7f0000000080)=""/10)