PROCEDURE Export* (loc: Files.Locator; name: Files.Name; conv: Converter; s: Stores.Store);
      VAR res: INTEGER; file: Files.File; val: ExpVal; ok: BOOLEAN;
   BEGIN
      ASSERT(s # NIL, 20); ASSERT(~(s IS Stores.Alien), 21);
      ASSERT(loc # NIL, 22); ASSERT(name # "", 23);
      file := Files.dir.New(loc, Files.ask); (* fileLoc := loc; *)
      IF file # NIL THEN
         IF conv = NIL THEN
            conv := doc
         ELSE ASSERT(conv.exp # "", 24)
         END;
         GetCommand(conv.exp, val, ok);
         IF ok THEN
            val.p(s, file);
            IF loc.res # canceled THEN
               file.Register(name, conv.fileType, Files.ask, res); loc.res := res
            END
         ELSE Dialog.ShowMsg("#System:ConverterFailed"); loc.res := canceled
         END
      END
   END Export;