boolean STRING_token_p(String str)
  {
    int       length = str.length();
    boolean   value;

    value = false;

    try {
      value = ((length >= 2)
	       && (str.charAt(0)        == DOUBLE_QUOTE)
	       && (str.charAt(length-1) == DOUBLE_QUOTE));
    }
    catch (StringIndexOutOfBoundsException e) {
      System.err.println("Hey, got a bad string index in 'NIL_token_p'!"); }

    return value;
  }