/** Decodes the debug info sequence. */
 public void decode() {
   try {
     decode0();
   } catch (Exception ex) {
     throw ExceptionWithContext.withContext(ex, "...while decoding debug info");
   }
 }