{
  `Count`: (31337_41164574218692, `Count`),
  `Reg 0`: (31337_82470056393191, `Reg 0`),
  `Reg 1`: (31337_38743609381557, `Reg 1`),
  `Reg 2`: (31337_37075142107851, `Reg 2`),
  `Reg 3`: (31337_79357977314471, `Reg 3`),
  `Reg 4`: (31337_40362507068221, `Reg 4`),
  `Reg 5`: (31337_57061942907076, `Reg 5`),
  `Program`: (31337_42538649427331, `Program`),
}