+ ['3002_lshift', '', '+1+2+4611686018427387904-9223372036854775808-9223372036854775808+0'],
+ ['3003_rshift', '', '+1+1+1-4611686018427387903-576460752303423478-1-1'],
+ ['3004_and', '', '+0+0+1+1+42'],
+ ['3005_or', '', '+0+1+1-1-1'],
+ ['3006_xor', '', '+0+1+0-2-1'],
+ ['4001_strlen', '', '+11'],
+ ['5001_abs', '', '+1+1+0+0'],
+ ['5002_random', '', ''],
+ ['6001_printstackstring', '', 'test'],
+ ['6002_printheapstring', '', 'test'],
+ ['6003_printnumbersign', '', '+-'],
+ ['6004_printnumbermagnitude', '', '323209223372036854775808'],
+ ['6005_printstacknumber', '', '+32-32+0-9223372036854775808'],
+ ['6006_printf_staticstackstring', '', 'test'],
+ ['6007_printf_staticheapstring', '', 'test'],
+ ['6008_printf_escapedstackstring', '', '\\%\t\n'],
+ ['6009_printf_substitutedstackstring', '', 'Atest142+42'],