base.caps.FEnv

imm .io(io: mut base.caps.IO): mut base.caps.Env -> …,
read #(s: mut base.caps.System): mut base.caps.Env -> …,
imm .io(io: mut base.caps.IO): mut base.caps.Env -> …,
read #(s: mut base.caps.System): mut base.caps.Env -> …,