{-# htermination lcm :: Int -> Int -> Int #-}