hjp 0c72134b24 benchmark opening of a random file		2016-07-05 19:28:35 +00:00
..
openrandomfile	benchmark opening of a random file	2016-07-05 19:28:35 +00:00