super(numLocals, new Frame.DefaultValueFactory<ValueNumber>() { public ValueNumber getDefaultValue() { return factory.topValue(); } });
super(numLocals); this.factory = factory;
	public ValueNumberFrame(int numLocals, final ValueNumberFactory factory) {		super(numLocals, new Frame.DefaultValueFactory<ValueNumber>() {			public ValueNumber getDefaultValue() { return factory.topValue(); }		});	}