!version 1
[
  (input_file "gdb.foo")
  (func .public (int 32) main []
    (bind (compound [
      (wfl 1 (var (int 32) x))
      (wfl 2 (modify (ref x) (const (int 32) 1)))
      (wfl 3 (modify (ref x) (const (int 32) 2)))
      (wfl 4 (modify (ref x) (const (int 32) 3)))
      (wfl 5 (modify (ref x) (const (int 32) 4)))
      (modify (ref x) (const (int 32) 10))
     ])))]
