MODULE inner2state_mod END MODULE inner2state_mod