[
  {
    "name": "preramble",
    "magic": [
      0,
      97,
      115,
      109
    ],
    "version": [
      13,
      0,
      0,
      0
    ]
  },
  {
    "name": "type",
    "entries": [
      {
        "form": "func",
        "params": [
          "i64"
        ]
      }
    ]
  },
  {
    "name": "import",
    "entries": [
      {
        "moduleStr": "metering",
        "fieldStr": "gasAmount",
        "kind": "global",
        "type": {
          "contentType": "i64",
          "mutability": 0
        }
      }
    ]
  },
  {
    "name": "function",
    "entries": [
      0
    ]
  },
  {
    "name": "code",
    "entries": [
      {
        "locals": [],
        "code": [
          {
            "name": "get_global",
            "immediaties": "0"
          },
          {
            "name": "get_local",
            "immediaties": "0"
          },
          {
            "return_type": "i64",
            "name": "sub"
          },
          {
            "name": "set_global",
            "immediaties": "0"
          },
          {
            "name": "get_global",
            "immediaties": "0"
          },
          {
            "return_type": "i64",
            "name": "const",
            "immediaties": "0"
          },
          {
            "return_type": "i64",
            "name": "lt_s"
          },
          {
            "name": "if",
            "immediaties": "block_type"
          },
          {
            "name": "unreachable"
          },
          {
            "name": "end"
          },
          {
            "name": "end"
          }
        ]
      }
    ]
  }
]