pkg_info {
  arch: "v1model"
}
registers {
  preamble {
    id: 376440781
    name: "Ing.debug"
    alias: "debug"
  }
  type_spec {
    bitstring {
      bit {
        bitwidth: 8
      }
    }
  }
  size: 2
}
type_info {
}
