int main(){
static char too_long[] =
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF"
         "0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF0123456789ABCDEF";

static char too_long_bin[] =
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255"
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255"
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255"
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255"
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255"
         "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255";

return 0;
}