['2002_slurp', '', 'TOS:\n3:\t+242\n2:\t+243\n1:\t+244\n'],
['2003_memset', '', '32:\t+42\n33:\t+42\n'],
['2004_memcpy', '', '34:\t+42\n35:\t+42\n'],
+ ['2005_memcmp', '', '+1'],
+ ['2006_memsrch', '', '+32'],
+ ['2007_memrand', '', ''],
+ ['3001_not', '', '-1+0-6148914691236517206+6148914691236517205'],
]
for test in tests: