-- Check that one more than the maximum allowable input (ie, 2^65536) doesn't fit into the maximum width.
(program 1.0.0
 [(builtin integerToByteString) (con bool False) (con integer 8192) (con integer [encoded data, 19729 characters])
 ]
)
