#include <stdio.h>                                (program
                                                      (type 'C')
void main ()                                          (title 'program.c')
{                                                     (include
  int x = 0;                                              (' 'stdio')
  int y = 1;                                        )
  int z = x + y;                                      (proc (name 'main') (arg ()) (ret .)
                                                          (flags (' (recursive 0)) (src-file:line 3)
  printf ("%d" "\n", z);                                  (val
}                                                             ('
                                                                  (_ (name 'x') (type int) (value 0) (src-file:line 5))
                                                                  (_ (name 'y') (type int) (value 1) (src-file:line 6))
                                                              )
                                                          )
                                                          (var
                                                              ('
                                                                  (_ (name 'z') (type int) (value .) (reg 0.8) (src-file:line 7))
                                                              )
                                                          )
                                                          (_
                                                              (add :x :y .:z (src-file:line 7))
                                                              (. .:x .:y)
                                                              (call
                                                                  (name 'printf') (src-file:line 9)                                                                  
                                                                  (arg
                                                                      (' 
                                                                          2
                                                                          (' T_*)
                                                                          (' :&_{#1} :&_{z})
                                                                      )
                                                                  )
                                                                  (val
                                                                      (' 
                                                                          (_ (name '#1') (type char[]) (value (& "%d" "\n")))
                                                                      )
                                                                  )
                                                                  (var
                                                                      (' 
                                                                          (_ (name '&_{#1}') (type (' ptr char[])) (value .) (reg 1.0))
                                                                          (_ (name '&_{z}') (type (' ptr int)) (value .) (reg 1.0))
                                                                      )
                                                                  )
                                                                  (before
                                                                      (setptr :#1 .:&_{#1})
                                                                      (setptr :z .:&_{z})
                                                                  )
                                                                  (after
                                                                      ;
                                                                  )
                                                              )
                                                          )
                                                      )
                                                  )
