throws Throwable
  public static Value stristr(String haystack,                              Value needleV)    throws Throwable  {    String needle;    if (needleV instanceof StringValue) {      needle = needleV.toString();    }    else {      needle = String.valueOf((char) needleV.toLong());    }    String haystackLower = haystack.toLowerCase();    String needleLower = needle.toLowerCase();    int i = haystackLower.indexOf(needleLower);    if (i > 0)      return new StringValueImpl(haystack.substring(i));    else      return BooleanValue.FALSE;  }