==15070== Memcheck, a memory error detector.
==15070== Copyright (C) 2002-2007, and GNU GPL'd, by Julian Seward et al.
==15070== Using LibVEX rev 1804, a library for dynamic binary translation.
==15070== Copyright (C) 2004-2007, and GNU GPL'd, by OpenWorks LLP.
==15070== Using valgrind-3.3.0-Debian, a dynamic binary instrumentation framework.
==15070== Copyright (C) 2000-2007, and GNU GPL'd, by Julian Seward et al.
==15070== For more details, rerun with: -v
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8055C24: scoot::test1() (scoot_out.cpp:22388)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8055C24: scoot::test1() (scoot_out.cpp:22388)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8055DEC: scoot::test1() (scoot_out.cpp:22440)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8055DEC: scoot::test1() (scoot_out.cpp:22440)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8055F9A: scoot::test1() (scoot_out.cpp:22492)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8055F9A: scoot::test1() (scoot_out.cpp:22492)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8056186: scoot::test1() (scoot_out.cpp:22544)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8056186: scoot::test1() (scoot_out.cpp:22544)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8056340: scoot::test1() (scoot_out.cpp:22596)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8056340: scoot::test1() (scoot_out.cpp:22596)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805652C: scoot::test1() (scoot_out.cpp:22648)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805652C: scoot::test1() (scoot_out.cpp:22648)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80566E6: scoot::test1() (scoot_out.cpp:22700)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80566E6: scoot::test1() (scoot_out.cpp:22700)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x80568D2: scoot::test1() (scoot_out.cpp:22752)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x80568D2: scoot::test1() (scoot_out.cpp:22752)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8056AE3: scoot::test1() (scoot_out.cpp:22806)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8056AE3: scoot::test1() (scoot_out.cpp:22806)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8056CCF: scoot::test1() (scoot_out.cpp:22858)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8056CCF: scoot::test1() (scoot_out.cpp:22858)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8056E89: scoot::test1() (scoot_out.cpp:22910)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8056E89: scoot::test1() (scoot_out.cpp:22910)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8057075: scoot::test1() (scoot_out.cpp:22962)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8057075: scoot::test1() (scoot_out.cpp:22962)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805722F: scoot::test1() (scoot_out.cpp:23014)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805722F: scoot::test1() (scoot_out.cpp:23014)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805741B: scoot::test1() (scoot_out.cpp:23066)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805741B: scoot::test1() (scoot_out.cpp:23066)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80575D5: scoot::test1() (scoot_out.cpp:23118)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80575D5: scoot::test1() (scoot_out.cpp:23118)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x80577C1: scoot::test1() (scoot_out.cpp:23170)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x80577C1: scoot::test1() (scoot_out.cpp:23170)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80579E2: scoot::test1() (scoot_out.cpp:23224)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80579E2: scoot::test1() (scoot_out.cpp:23224)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8057BCE: scoot::test1() (scoot_out.cpp:23276)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8057BCE: scoot::test1() (scoot_out.cpp:23276)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8057D88: scoot::test1() (scoot_out.cpp:23328)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8057D88: scoot::test1() (scoot_out.cpp:23328)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8057F74: scoot::test1() (scoot_out.cpp:23380)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8057F74: scoot::test1() (scoot_out.cpp:23380)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805812E: scoot::test1() (scoot_out.cpp:23432)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805812E: scoot::test1() (scoot_out.cpp:23432)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805831A: scoot::test1() (scoot_out.cpp:23484)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805831A: scoot::test1() (scoot_out.cpp:23484)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80584D4: scoot::test1() (scoot_out.cpp:23536)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80584D4: scoot::test1() (scoot_out.cpp:23536)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x80586C0: scoot::test1() (scoot_out.cpp:23588)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x80586C0: scoot::test1() (scoot_out.cpp:23588)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80588D1: scoot::test1() (scoot_out.cpp:23642)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80588D1: scoot::test1() (scoot_out.cpp:23642)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8058ABD: scoot::test1() (scoot_out.cpp:23694)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8058ABD: scoot::test1() (scoot_out.cpp:23694)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8058C77: scoot::test1() (scoot_out.cpp:23746)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8058C77: scoot::test1() (scoot_out.cpp:23746)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8058E63: scoot::test1() (scoot_out.cpp:23798)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8058E63: scoot::test1() (scoot_out.cpp:23798)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805901D: scoot::test1() (scoot_out.cpp:23850)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805901D: scoot::test1() (scoot_out.cpp:23850)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8059209: scoot::test1() (scoot_out.cpp:23902)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8059209: scoot::test1() (scoot_out.cpp:23902)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x80593C3: scoot::test1() (scoot_out.cpp:23954)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x80593C3: scoot::test1() (scoot_out.cpp:23954)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x80595AF: scoot::test1() (scoot_out.cpp:24006)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x80595AF: scoot::test1() (scoot_out.cpp:24006)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805980B: scoot::test1() (scoot_out.cpp:24060)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805980B: scoot::test1() (scoot_out.cpp:24060)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x80599F7: scoot::test1() (scoot_out.cpp:24112)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x80599F7: scoot::test1() (scoot_out.cpp:24112)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8059BB1: scoot::test1() (scoot_out.cpp:24164)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8059BB1: scoot::test1() (scoot_out.cpp:24164)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x8059D9D: scoot::test1() (scoot_out.cpp:24216)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x8059D9D: scoot::test1() (scoot_out.cpp:24216)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x8059F57: scoot::test1() (scoot_out.cpp:24268)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x8059F57: scoot::test1() (scoot_out.cpp:24268)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805A143: scoot::test1() (scoot_out.cpp:24320)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805A143: scoot::test1() (scoot_out.cpp:24320)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805A2FD: scoot::test1() (scoot_out.cpp:24372)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805A2FD: scoot::test1() (scoot_out.cpp:24372)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805A4E9: scoot::test1() (scoot_out.cpp:24424)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805A4E9: scoot::test1() (scoot_out.cpp:24424)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805A6FA: scoot::test1() (scoot_out.cpp:24478)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805A6FA: scoot::test1() (scoot_out.cpp:24478)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805A8E6: scoot::test1() (scoot_out.cpp:24530)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805A8E6: scoot::test1() (scoot_out.cpp:24530)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805AAA0: scoot::test1() (scoot_out.cpp:24582)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805AAA0: scoot::test1() (scoot_out.cpp:24582)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805AC8C: scoot::test1() (scoot_out.cpp:24634)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805AC8C: scoot::test1() (scoot_out.cpp:24634)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805AE46: scoot::test1() (scoot_out.cpp:24686)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805AE46: scoot::test1() (scoot_out.cpp:24686)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805B032: scoot::test1() (scoot_out.cpp:24738)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805B032: scoot::test1() (scoot_out.cpp:24738)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805B1EC: scoot::test1() (scoot_out.cpp:24790)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805B1EC: scoot::test1() (scoot_out.cpp:24790)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805B3D8: scoot::test1() (scoot_out.cpp:24842)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805B3D8: scoot::test1() (scoot_out.cpp:24842)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805B634: scoot::test1() (scoot_out.cpp:24896)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805B634: scoot::test1() (scoot_out.cpp:24896)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805B820: scoot::test1() (scoot_out.cpp:24948)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805B820: scoot::test1() (scoot_out.cpp:24948)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== More than 100 errors detected.  Subsequent errors
==15070== will still be recorded, but in less detail than before.
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805B9DA: scoot::test1() (scoot_out.cpp:25000)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805B9DA: scoot::test1() (scoot_out.cpp:25000)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805BBC6: scoot::test1() (scoot_out.cpp:25052)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805BBC6: scoot::test1() (scoot_out.cpp:25052)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805BD80: scoot::test1() (scoot_out.cpp:25104)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805BD80: scoot::test1() (scoot_out.cpp:25104)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805BF6C: scoot::test1() (scoot_out.cpp:25156)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805BF6C: scoot::test1() (scoot_out.cpp:25156)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805C126: scoot::test1() (scoot_out.cpp:25208)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805C126: scoot::test1() (scoot_out.cpp:25208)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF22: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:43)
==15070==    by 0x805C312: scoot::test1() (scoot_out.cpp:25260)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x804DF54: __scoot_print_unsigned(__signedbv<32>, __unsignedbv<32>) (__print.h:48)
==15070==    by 0x805C312: scoot::test1() (scoot_out.cpp:25260)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F14: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:32)
==15070==    by 0x805C4CC: scoot::test1() (scoot_out.cpp:25312)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Conditional jump or move depends on uninitialised value(s)
==15070==    at 0x8054F46: __scoot_print_int(__signedbv<32>, __signedbv<32>) (__print.h:37)
==15070==    by 0x805C4CC: scoot::test1() (scoot_out.cpp:25312)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== Invalid read of size 4
==15070==    at 0x805C624: scoot::test1() (scoot_out.cpp:25359)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070==  Address 0x20 is not stack'd, malloc'd or (recently) free'd
==15070== 
==15070== Process terminating with default action of signal 11 (SIGSEGV)
==15070==  Access not within mapped region at address 0x20
==15070==    at 0x805C624: scoot::test1() (scoot_out.cpp:25359)
==15070==    by 0x8060B0C: scoot::scoot_start(__signedbv<64>) (scoot_out.cpp:5779)
==15070==    by 0x804D57B: scoot::main() (scoot_out.cpp:5512)
==15070==    by 0x804D5BF: main (scoot_out.cpp:27147)
==15070== 
==15070== ERROR SUMMARY: 115 errors from 115 contexts (suppressed: 19 from 1)
==15070== malloc/free: in use at exit: 0 bytes in 0 blocks.
==15070== malloc/free: 0 allocs, 0 frees, 0 bytes allocated.
==15070== For counts of detected errors, rerun with: -v
==15070== All heap blocks were freed -- no leaks are possible.
