__interface SpecEnv 1 0 where
__export SpecEnv SpecEnv ;
1 data SpecEnv a;