liquidhaskell-0.6.0.0: tests/pos/Words1.hs

import Data.Word

main = print (quotRem (4 :: Word8) 128)