Value value = map.get(StringValue.create(ch));
for (int i = 0; i < from.length; i++) { int p = string.indexOf(from[i], head);
  private static String strtr_array(String string, ArrayValue map)  {    StringBuilder result = new StringBuilder();    int len = string.length();    for (int i = 0; i < len; i++) {      char ch = string.charAt(i);      Value value = map.get(StringValue.create(ch));      if (! value.isNull())	result.append(value);      else	result.append(ch);    }    return result.toString();  }