public static int[] getOpCounts() {
return cnt.getOpCounts();
}
public static String getOpCountsAsString() {
return cnt.toString();
}
// =========== OperationCounter ===========================
public static void clearOpCounter() {
cnt.clearOpCounter();
}