liquidhaskell-0.9.0.2.1: tests/pos/Words1.hs

module Words1 where

import Data.Word

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