counter_submit ("mysql_sort", "range", val, db);
else if (strcmp (key, "Sort_scan") == 0)
counter_submit ("mysql_sort", "scan", val, db);
counter_submit ("mysql_sort", "range", val, db);
else if (strcmp (key, "Sort_scan") == 0)
counter_submit ("mysql_sort", "scan", val, db);