docs: public String stringAt(String srcStr, int index) {
  
          if (0 <= index && index < srcStr.length()) {
              return String.valueOf(srcStr.charAt(index));
          } else {
              return "";
          }
  
      }