public static String yieldTimeoutsMenuString(Cons timeouts) {
    if (timeouts == Stella.NIL) {
      return ("");
    }
    return (OntosaurusUtil.yieldChoiceMenuString(timeouts, "NAME='TIMEOUT'"));
  }