-- 2012-03-08 Andreas
module NoTerminationCheck1 where

{-# NO_TERMINATION_CHECK #-}

-- error: misplaced pragma