typeof env_ref=Env;;

defcom Smain=main I;;

fun main(p)=
  set env_ref = _envchannel _channel;
  _load "locked/var.pkg";
  _load "locked/common.pkg";
  _load "locked/masterse.pkg";
  
  _load "locked/lib/_mlistlib.pkg";
  _load "locked/lib/stdlib.pkg";
  
  _script mkscript Smain [p];
  0;;