{
    type: "codec-interface",
    name: "BytecodeDecoding",
    content: (
      <>