---
GlobalValueMap:
  42:
    - Live: true
      TypeTests: [123]
TypeIdMap:
  typeid1:
    TTRes:
      Kind: Unsat
      SizeM1BitWidth: 0
...
