go much more quickly when file input is really done. Of course, the fully cached case will make no difference.
