#define COLOR_compiling___MMSrcModule___compile_prog_to_c SFT_compiling[0]
#define COLOR_compiling___MMSrcModule___compile_main SFT_compiling[1]
#define COLOR_compiling___MMSrcModule___compile_separate_module SFT_compiling[2]
+val_t NEW_MMSrcModule_syntax_base___MMSrcModule___init(val_t p0, val_t p1, val_t p2, val_t p3);
typedef void (* compiling___MMSrcModule___compile_prog_to_c_t)(val_t self, val_t param0);
void compiling___MMSrcModule___compile_prog_to_c(val_t self, val_t param0);
#define LOCATE_compiling___MMSrcModule___compile_prog_to_c "compiling::MMSrcModule::compile_prog_to_c"