['2004_memcpy', '', '34:\t+42\n35:\t+42\n'],
['2005_memcmp', '', '+1'],
['2006_memsrch', '', '+32'],
['2004_memcpy', '', '34:\t+42\n35:\t+42\n'],
['2005_memcmp', '', '+1'],
['2006_memsrch', '', '+32'],
+ ['2007_memrand', '', ''],
+ ['3001_not', '', '-1+0-6148914691236517206+6148914691236517205'],