module Test0 () where

import Language.Haskell.Liquid.Prelude

x :: Int
x = 4