put_in_file      118 include/mm.h   void put_in_file (char *fileprefix, char *extension, char *text, size_t text_size);
put_in_file      118 modules/mm/mm.h void put_in_file (char *fileprefix, char *extension, char *text, size_t text_size);