write_file 137 include/mm.h void write_file (char *filename, char *text, size_t text_size); write_file 1056 modules/mm/mm.c write_file(filename,text,text_size); write_file 137 modules/mm/mm.h void write_file (char *filename, char *text, size_t text_size);