documentation: map file format