-- @shouldFailWith UnknownModule
module Main where

import M1