public static Symbol noonMidn(Stella_Object string) {
    if (Surrogate.subtypeOfStringP(Stella_Object.safePrimaryType(string))) {
      { StringWrapper string000 = ((StringWrapper)(string));

        if (Stella.stringEqlP(string000.wrapperValue, "noon")) {
          return (Stella.SYM_STELLA_NOON);
        }
        else if (Stella.stringEqlP(string000.wrapperValue, "midnight")) {
          return (Stella.SYM_STELLA_MIDN);
        }
        else {
          return (null);
        }
      }
    }
    else {
      return (null);
    }
  }