%-

(:def main
  (:oneof
    (| "$")
    (| "$a")
    (| "$$")
    (| "$${a}")
    (| "$\${a}")
    (| "$a${a}")
    (| "${a}$")))