public final void grow(int size) {
		if (locals != null) {
			size += count;
			if (size > locals.length) {
				int nextSize = locals.length * 2;
				// GlobalOptions.err.println("wanted: "+size+" next: "+nextSize);
				LocalInfo[] newLocals = new LocalInfo[nextSize > size ? nextSize
						: size];
				System.arraycopy(locals, 0, newLocals, 0, count);
				locals = newLocals;
			}
		} else if (size > 0)
			locals = new LocalInfo[size];
	}