puts "jkff_tt run with jkff_tt.run  output by puts"
esim load jkff_tt.net
esim run 19
puts " should be reset"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim run 2
esim set set 0
esim run 4
esim set set 1
esim run 16
puts "should be set"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim set j 0
esim run 20
puts "should be reset by k=1, j=0"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim set j 1
esim set k 0
esim run 20
puts "should be set by j=1, k=0"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim set k 1
esim run 20
puts "should stay the same, j=1, k=1"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim run 20
puts "should still stay same"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim set k 0
esim set j 0
esim run 20
puts "both j=0 and k=0"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"
esim run 20
puts "no change on inputs"
puts "q= [esim show q], q_= [esim show q_], j= [esim show j], k= [esim show k]"