(Program
  (Annotation
    (Function
    { (Identifier)
    ->(Identifier) }
    {-(Identifier)-}
    {-(Identifier)-}
      (
      {+(Identifier)+}
      {-(Identifier)-}))
    (Empty))
  (Annotation
    (Function
      (Identifier)
    {+(Identifier)+}
      (
      {+(Identifier)+}
      {-(Identifier)-}))
    (Empty))
  (Annotation
    (Function
    { (Identifier)
    ->(Identifier) }
    {+(Identifier)+}
    {+(Identifier)+}
    {-(Identifier)-}
      (
      {+(Identifier)+}
      {-(Identifier)-}))
    (Empty))
{+(Annotation
  {+(Function
    {+(Identifier)+}
    {+(Assignment
      {+(Identifier)+}
      {+(Identifier)+})+}
    {+(
      {+(Identifier)+})+})+}
  {+(Empty)+})+}
  (Annotation
    (Function
      (Identifier)
      (Annotation
        (Assignment
          (Identifier)
        { (Integer)
        ->(TextElement) })
      { (Identifier)
      ->(Identifier) })
    {+(Identifier)+}
    {-(Identifier)-}
      (
        (Identifier)))
    (Empty)))