throws Throwable
  public Value executeTop(Env env)    throws Throwable  {    Path oldPwd = env.getPwd();    Path pwd = getPwd(env);    env.setPwd(pwd);    try {      return execute(env);    } finally {      env.setPwd(oldPwd);    }  }