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