code: private void init(final int var) {
          // creates and/or resizes the initializations array if necessary
          if (initializations == null) {
              initializations = new int[2];
          }
          int n = initializations.length;
          if (initializationCount >= n) {
              int[] t = new int[Math.max(initializationCount + 1, 2 * n)];
              System.arraycopy(initializations, 0, t, 0, n);
              initializations = t;
          }
          // stores the type to be initialized
          initializations[initializationCount++] = var;
      }
docs: Adds a new type to the list of types on which a constructor is invoked in
  the basic block.
  
  @param var
  a type on a which a constructor is invoked.