1.1 --- a/src/Opcodes.cpp	Sun Aug 12 13:22:56 2012 -0700
     1.2 +++ b/src/Opcodes.cpp	Sun Aug 12 20:48:49 2012 -0700
     1.3 @@ -289,6 +289,14 @@
     1.4              fprintf(fp, "%u %u", READ_UINT32(pc), READ_UINT32(pc + 4));
     1.5              break;
     1.6  
     1.7 +          case OP_TABLESWITCH:
     1.8 +          {
     1.9 +            int low = READ_TABLESWITCH_LOW(pc);
    1.10 +            int high = READ_TABLESWITCH_HIGH(pc);
    1.11 +            fprintf(fp, "%d, %d\n", low, high);
    1.12 +            break;
    1.13 +          }
    1.14 +
    1.15            default:
    1.16              // Unknown opcode!
    1.17              assert(false);