public void visitINSTANCEOF(INSTANCEOF obj)		{ pushValue(Type.INT); }
public void visitINSTANCEOF(INSTANCEOF obj)		{ consumeStack(obj); pushValue(Type.INT); }
	public void visitINSTANCEOF(INSTANCEOF obj)		{ pushValue(Type.INT); }