Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Data =  8
Data =  7
Data =  6
Data =  5
Data = 10
Data =  9
Simulation Passes
Final state:
top:
  the_check_mydata = 0x8
  the_count = 0xfe
  the_fail = False
  the_mydata = 0x8