module Inner3 where

inner3_0 = ()