test:3200:0
1: 100
2: foo:1000
1: 800
3: bar:200
2: 190
4: baz:10
2: 10
3: foo1:1000
1: 1000
3: foo2:1000
1: 1000 foo3:1000
!CFGChecksum: 562954248388607
test_liveness:1000:0
2: foo:1000
1: bar:1000
1: 2000 bar_dbg:1000 bar_available:1000
2: 1000
!CFGChecksum: 281479271677951