leancheck-1.0.2: eg/overflow.txt

*** Failed! Falsifiable (after 8792 tests):
(T [] [] [] [-1] [-32768])