{
  `DoneCount`: (31337_57877356797542, `DoneCount`),
  `Program`: (31337_42538649427331, `Program`),
  `Counter`: (31337_78214997465973, `Counter`),
  `r0`: (31337_59383212597903, `r0`),
  `r1`: (31337_89909032864119, `r1`),
  `r2`: (31337_47858891143005, `r2`),
  `r4`: (31337_76878335565401, `r4`),
  `r5`: (31337_17025449350330, `r5`),
  `r3`: (31337_15531830527231, `r3`),
}