more explicit file format definitions