module M2 where

import M1