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