let print_model_DIG_file (flags: flags) = get_flag_string flags.flags FL_PrintModelDIGFile