tests with three file-mapping formats