* @return String
   */
  public static String fileNameWithoutDirectory(String file) {
    { int start = 0;
      char separator = Stella.directorySeparatorForFile(file);

      file = Stella.logicalPathnameWithoutHost(file);
      while (Native.string_position(file, separator, start) != Stella.NULL_INTEGER) {
        start = Native.string_position(file, separator, start) + 1;
      }
      return (Native.string_subsequence(file, start, Stella.NULL_INTEGER));
    }
  }