{
  "revision" : 1,
  "instructions" : [
    {
      "opname" : "DebugPrintf",
      "opcode" : 1,
      "operands" : [
        { "kind" : "IdRef",        "name" : "'Format'" },
        { "kind" : "IdRef",        "quantifier" : "*" }
      ]
    }
  ]
}