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