[
  "to-string",
  [
    "get",
    "x"
  ]
]