public static int count(String procedureName, String event) {
   return stats.add(procedureName + event, 1);
 }