public void visitSALOAD(SALOAD obj)				{ pushValue(Type.SHORT); }
public void visitSALOAD(SALOAD obj)				{ consumeStack(obj); pushValue(Type.SHORT); }
	public void visitSALOAD(SALOAD obj)				{ pushValue(Type.SHORT); }