let print_level (flags: flags) = get_flag_int flags.flags FL_PrintLevel