Num= 0, Fact= 1
Num= 1, Fact= 1
Num= 2, Fact= 2
Num= 3, Fact= 6
Num= 4, Fact=24
Simulation Passes
Final state:
top:
  the_counter = 0x06
  the_fail = False