private static String getWord(int idx) {
int offset = wordoffs[idx];
int end = worddata.length;
if (idx < wordoffs.length - 1) end = wordoffs[idx + 1];
StringBuilder buf = new StringBuilder();
for (int i = offset; i < end; i++) buf.append(charmap[worddata[i]]);
return buf.toString();
}
private static String signature(int count) {
StringBuilder s = new StringBuilder();
s.append("execute_").append(count).append('(');
for (int i = 0; i < count; ++i) {
if (i != 0) s.append(',');
s.append("Object");
}
s.append(')');
return s.toString();
}