S32Int () 4))
            (AST [])
            (AST [])
        ]

process = compile . IR.normalize . typing

hoge = process

test1 = AST [
         Declare (Var "x") S32Int (Arith () Add
                                   (Arith () Xor (ConstS32Int () 3) (ConstS32Int () 4))
                                   (ConstS32Int () 5))]
test1 = AST [
         Declare (Var "x") S32Int (Arith () Add
                                   (Arith () Xor (ConstS32Int () 3) (ConstS32Int () 4))
                                   (ConstS32Int () 5))]