pkg_info {
  arch: "v1model"
}
digests {
  preamble {
    id: 401776493
    name: "digest_0"
    alias: "digest_0"
  }
  type_spec {
    tuple {
      members {
        bitstring {
          bit {
            bitwidth: 48
          }
        }
      }
    }
  }
}
type_info {
}
