(Statements
  (Package
    (Identifier))
  (Function
    (Identifier)
    (Statements
    {+(Slice
      {+(Identifier)+}
      {+(Integer)+}
      {+(Empty)+}
      {+(Empty)+})+}
    {+(Slice
      {+(Identifier)+}
      {+(Empty)+}
      {+(Integer)+}
      {+(Empty)+})+}
    {+(Slice
      {+(Identifier)+}
      {+(Integer)+}
      {+(Integer)+}
      {+(Empty)+})+}
      (Slice
      { (Identifier)
      ->(Identifier) }
        (Integer)
      { (Empty)
      ->(Integer) }
      { (Empty)
      ->(Integer) })
      (Slice
      { (Identifier)
      ->(Identifier) }
      { (Empty)
      ->(Integer) }
      { (Integer)
      ->(Integer) }
        (Empty))
    {-(Slice
      {-(Identifier)-}
      {-(Empty)-}
      {-(Empty)-}
      {-(Empty)-})-}
    {-(Slice
      {-(Identifier)-}
      {-(Integer)-}
      {-(Integer)-}
      {-(Integer)-})-}
    {-(Slice
      {-(Identifier)-}
      {-(Integer)-}
      {-(Integer)-}
      {-(Empty)-})-})))