callback.processCase((String)bucket.get(0), end);
callback.processCase(bucket.get(0), end);
                public void processCase(int key, Label ignore_end) throws Exception {                    List bucket = (List)buckets.get(new Integer(key));                    if (index + 1 == len) {                        pop();                        callback.processCase((String)bucket.get(0), end);                    } else {                        stringSwitchHelper(bucket, callback, def, end, index + 1);                    }                }