public static Cons parseListOfFilePaths(Cons files) {
    { Cons strings = Stella.NIL;

      { Stella_Object filespec = null;
        Cons iter000 = files;

        for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
          filespec = iter000.value;
          strings = Cons.cons(StringWrapper.wrapString(Stella_Object.implodePathname(filespec)), strings);
        }
      }
      return (strings.reverse());
    }
  }