public void visit_irem(final Instruction inst) {
		final Expr right = stack.pop(Type.INTEGER);
		final Expr left = stack.pop(Type.INTEGER);
		final Expr check = new ZeroCheckExpr(right, Type.INTEGER);
		final Expr top = new ArithExpr(ArithExpr.REM, left, check, Type.INTEGER);
		stack.push(top);
	}