module Inner2 where

inner2_0 = ()