__interface InstEnv 1 0 where
__export InstEnv InstEnv ;
1 data InstEnv ;