try {
for(int i=0; i < index; i++) // Skip `index' lines of code
codeToString(stream, constant_pool, verbose);
for(int i=0; stream.available() > 0; i++) {
if((length < 0) || (i < length)) {
String indices = fillup(stream.getIndex() + ":", 6, true, ' ');
buf.append(indices + codeToString(stream, constant_pool, verbose) + '\n');
}
}