module Inner1 where

inner1_0 = ()
inner1_1 = ()