definition module WriteMapFile;

import StdFile;
import State;

generate_map_file :: !*State !*Files -> (!*State,!*Files);