['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: