tests/basics/int_big1.py: Add test converting str with non-print chars.

tests/basics/int_big1.py

@@ -75,6 +75,10 @@ try:
     print(int("123456789012345678901234567890abcdef"))
 except ValueError:
     print('ValueError');
+try:
+    print(int("123456789012345678901234567890\x01"))
+except ValueError:
+    print('ValueError');
 
 # test constant integer with more than 255 chars
 x = 0x84ce72aa8699df436059f052ac51b6398d2511e49631bcb7e71f89c499b9ee425dfbc13a5f6d408471b054f2655617cbbaf7937b7c80cd8865cf02c8487d30d2b0fbd8b2c4e102e16d828374bbc47b93852f212d5043c3ea720f086178ff798cc4f63f787b9c2e419efa033e7644ea7936f54462dc21a6c4580725f7f0e7d1aaaaaaa