{-
Berechenbarkeit und Komplexitaet                            SS03 bei Dr. Tompitz
autotool-Aufgabe                                          Arne Brutschy, 8964813
-}
import RAM
student :: Program
student = [ Inc "eins",
            Loop "x1" [
              Inc "x0",
              -- quadrat von x0
              Builtin { name = Times, res = "quad", args = [ "x0", "x0" ] },
              -- ziehe x1 vom quadrat ab
              Builtin { name = Minus, res = "tmp", args = [ "quad", "x1" ] },
              -- x0 - 1 vorbereiten
              Builtin { name = Minus, res = "done", args = [ "x0", "eins" ] },
              -- wenn tmp>0, ziehe wieder eins von x0 ab
              Loop "tmp" [
                Builtin { name = Copy, res = "x0", args = [ "done" ] }
              ]
            ]
          ]