{ "expected-missing-functions":
  [

  ],
  "proof-name": "Shadow_AssembleTopicString",
  "proof-root": "../cbmc/proofs"
}