module Inner0 where

inner0_0 = ()