public void visit_saload(final Instruction inst) {
		final Expr index = stack.pop(Type.INTEGER);
		final Expr array = stack.pop(Type.SHORT.arrayType());
		final Expr top = new ArrayRefExpr(array, index, Type.SHORT, Type.SHORT);
		stack.push(top);
	}