> 010:  map_file $mmap, $file, '+<';
> 011:   if (!defined($mmap)) { print "ERROR!!\n"; }
> 012:         for(my $i=0;$i<10000;++$i) { $mmap = $i; sync($mmap,1); }
> 013:  unmap ($mmap);