{-
Berechenbarkeit und Komplexitaet                            SS03 bei Dr. Tompitz
autotool-Aufgabe                                          Arne Brutschy, 8964813
-}
import RAM
student :: Program
student = [
            Inc "f0",
            Loop "x1" [
              -- x0 = f1 + f0
              Builtin { name = Plus, res = "x0", args = [ "f1", "f0" ] },   
              Builtin { name = Copy, res = "f0", args = [ "f1" ] },
              Builtin { name = Copy, res = "f1", args = [ "x0" ] }
            ]  
          ]