['2004_memcpy', '', '34:\t+42\n35:\t+42\n'],
['2005_memcmp', '', '+1'],
['2006_memsrch', '', '+32'],
+ ['2007_memrand', '', ''],
+ ['3001_not', '', '-1+0-6148914691236517206+6148914691236517205'],
+ ['3002_lshift', '', '+1+2+4611686018427387904-9223372036854775808'],
]
for test in tests: