docs: private long sumMatrix(int[][] mat) {
      long ret = 0;
      for(int i = 0; i < mat.length; i++) {
        final int[] row = mat[i];
        for(int j = 0; j < row.length; j++) {
          ret += row[j];
        }
      }
      return ret;
    }