let eval_expr e =
  match e.expr_type with
    | Integer -> Asm_ast.Integer (eval_expr_int e)
    | Boolean -> Asm_ast.Boolean (eval_expr_bool e)