[kernel] Debugging of switch statement

pkg/kernel/binary.md

Index: pkg/kernel/binary.md
diff --git a/pkg/kernel/binary.md b/pkg/kernel/binary.md
index c6a2154add5b6faa5dc879e977429b371f8bb324..784c229a53b38a6a20900b8471ccbc2f62fcb070 100644
--- a/pkg/kernel/binary.md
+++ b/pkg/kernel/binary.md
@@ -745,6 +745,7 @@ type SwitchStatement extends Statement {
 type SwitchCase {
   // Note: there is no tag on SwitchCase
   List<Expression> expressions;
+  FileOffset[expressions.length] expressionOffsets; // 1-to-1 with expressions.
   Byte isDefault; // 1 if default, 0 is not default.
   Statement body;
 }