[
  [
    {
      "type": "comment.line.double-slash",
      "value": "// VariableDefinition = ('var' IdentifierList | VariableDeclaration | '(' VariableDeclaration? (',' VariableDeclaration? )* ')' ) ( '=' Expression )?"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// semantic restriction: mappings and structs (recursively) containing mappings"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// are not allowed in argument lists"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// VariableDeclaration = TypeName StorageLocation? Identifier"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// TypeName = ElementaryTypeName"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//          | UserDefinedTypeName"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//          | Mapping"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//          | ArrayTypeName"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//          | FunctionTypeName"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// StorageLocation = 'memory' | 'storage' | 'calldata'"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// Mapping = 'mapping' '(' ElementaryTypeName '=>' TypeName ')'"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// Warning: Use of the \"var\" keyword is deprecated."
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// TypeError: Assignment necessary for type detection."
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "var"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "identifier",
      "value": "abc"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "def"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "ghi"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "var"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "xyz"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "1000"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// StorageLocation"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.storagelocation",
      "value": "memory"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.storagelocation",
      "value": "storage"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.storagelocation",
      "value": "calldata"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// ElementaryTypeName"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "address"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "owner"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric.hex",
      "value": "0x0123456789abcdef0123456789ABCDEF01234567"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bool"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "truth"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.language.boolean",
      "value": "true"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bool"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "identifier",
      "value": "truth"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "untruth"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "constant.language.boolean",
      "value": "true"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.language.boolean",
      "value": "false"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.array.dynamic",
      "value": "string"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "greet"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "string.quoted.double",
      "value": "\"Hello World!\""
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "var"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "xyz"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "1000"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "storage.type",
      "value": "int"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int8"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int16"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int24"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int32"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int40"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int48"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int56"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int64"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int72"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int88"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int96"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int104"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int112"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int120"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int128"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int136"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int144"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int152"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int160"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int168"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int176"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int184"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int192"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int200"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int208"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int216"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int224"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int232"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int240"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int248"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "int256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "storage.type",
      "value": "uint"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint8"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint16"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint24"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint32"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint40"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint48"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint56"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint64"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint72"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint88"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint96"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint104"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint112"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint120"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint128"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint136"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint144"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint152"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint160"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint168"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint176"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint184"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint192"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint200"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint208"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint216"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint224"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint232"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint240"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint248"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "storage.type",
      "value": "byte"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.array.dynamic",
      "value": "bytes"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes1"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes2"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes3"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes4"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes5"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes6"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes7"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes8"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes9"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes10"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes11"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes12"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes13"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes14"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes15"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes16"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes17"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes19"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes20"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes21"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes22"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes23"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes24"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes25"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes26"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes27"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes28"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes29"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes30"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes31"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "bytes32"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed8x4"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed16x12"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed24x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed32x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed40x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed48x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed56x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed64x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed72x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed80x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed88x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed96x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed104x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed112x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed120x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed128x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed136x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed144x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed152x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed160x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed168x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed176x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed184x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed192x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed200x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed208x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed216x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed224x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed232x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed240x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed248x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "fixed256x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed8x4"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed16x12"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed24x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed32x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed40x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed48x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed56x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed64x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed72x18"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed80x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed88x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed96x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed104x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed112x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed120x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed128x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed136x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed144x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed152x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed160x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed168x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed176x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed184x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed192x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed200x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed208x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed216x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed224x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed232x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed240x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed248x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type.reserved",
      "value": "ufixed256x80"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "0.0"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// UserDefinedTypeName"
    }
  ],
  [
    {
      "type": "identifier",
      "value": "Abc"
    },
    {
      "type": "punctuation.operator",
      "value": "."
    },
    {
      "type": "identifier",
      "value": "def"
    },
    {
      "type": "punctuation.operator",
      "value": "."
    },
    {
      "type": "identifier",
      "value": "ghi"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "jkl"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "constant.numeric",
      "value": "13"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// Mapping"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "mapping"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "address"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "=>"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "accounts"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// ArrayTypeName"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "paren.lparen",
      "value": "["
    },
    {
      "type": "paren.rparen",
      "value": "]"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "amounts"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "paren.lparen",
      "value": "["
    },
    {
      "type": "constant.numeric",
      "value": "7"
    },
    {
      "type": "paren.rparen",
      "value": "]"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "lessAmounts"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// FunctionTypeName"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// 'function' FunctionTypeParameterList ( 'internal' | 'external' | StateMutability )*"
    }
  ],
  [
    {
      "type": "comment.line.double-slash",
      "value": "//                    ( 'returns' FunctionTypeParameterList )?"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "function"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type.array.dynamic",
      "value": "string"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.visibility",
      "value": "internal"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.statemutability",
      "value": "pure"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword",
      "value": "returns"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "bool"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "myDecision"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "storage.type",
      "value": "function"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type.array.dynamic",
      "value": "string"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.visibility",
      "value": "internal"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.modifier.statemutability",
      "value": "pure"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "myAction"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [],
  [
    {
      "type": "comment.line.double-slash",
      "value": "// Destructuring Assignments"
    }
  ],
  [
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "bool"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "b"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "y"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "f"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "bool"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "b"
    },
    {
      "type": "punctuation.operator",
      "value": ","
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "y"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "f"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  [
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "x"
    },
    {
      "type": "punctuation.operator",
      "value": ",,"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "storage.type",
      "value": "uint256"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "y"
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "keyword.operator",
      "value": "="
    },
    {
      "type": "text",
      "value": " "
    },
    {
      "type": "identifier",
      "value": "f"
    },
    {
      "type": "paren.lparen",
      "value": "("
    },
    {
      "type": "paren.rparen",
      "value": ")"
    },
    {
      "type": "punctuation.operator",
      "value": ";"
    }
  ],
  []
]