mv.visitVarInsn(Opcodes.ILOAD, 1);
mv.visitTableSwitchInsn(1, n_cells, dflt, labels);
for (int zbase = 0; zbase < n_cells; zbase++) {
mv.visitLabel(labels[zbase]);
mv.visitVarInsn(Opcodes.ALOAD, 0); // load this
String field = "elem" + (zbase + 1);
mv.visitFieldInsn(Opcodes.GETFIELD, this_class_name, field,