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