code: public int[] readLabels(int num) throws IOException {
          int[] out = new int[num];
          for (int i = 0; i < num; i++)
              out[i] = readLabel();
          return out;
      }
docs: Read the specified number of labels from the current position