* @return String
   */
  public static String fileNameWithoutExtension(String file) {
    { int start = 0;
      int end = Stella.NULL_INTEGER;

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