[
  "number",
  [
    "get",
    "x"
  ]
]