public void visit_lshr(final Instruction inst) {
		final Expr right = stack.pop(Type.INTEGER);
		final Expr left = stack.pop(Type.LONG);
		final Expr top = new ShiftExpr(ShiftExpr.RIGHT, left, right, Type.LONG);
		stack.push(top);
	}