(Program
  (Void
    (Call
    { (Identifier)
    ->(Identifier) }
      (Empty))))