module Inner4 where

inner4_0 = ()
inner4_1 = ()