{-# OPTIONS --no-termination-check #-}

module PragmasApplyOnlyToCurrentModule where

import Imports.NonTerminating