Added to get_opt_level