Flags.print_model_ARM

let print_model_ARM (flags: flags) = get_flag_bool flags.flags FL_PrintModelARM