Wrote Senv() and tested it--compiles OK