debug: !!vexriscv.DebugReport {hardwareBreakpointCount: 4}
iBus: !!vexriscv.BusReport
  flushInstructions: [16399, 19, 19, 19]
  info: !!vexriscv.CacheReport {bytePerLine: 32, size: 512}
  kind: cached
