(Program
  (Module
    (Identifier))
  (Function
    (Identifier)
    (Args)
  {+(IndexExpression
    {+(Identifier)+}
    {+(NumberLiteral)+})+}
  {+(Slice
    {+(Identifier)+})+}
    (Slice
    { (Identifier)
    ->(Identifier) }
    { (NumberLiteral)
    ->(NumberLiteral) })
  {-(Slice
    {-(Identifier)-}
    {-(NumberLiteral)-})-}
  {-(Slice
    {-(Identifier)-}
    {-(NumberLiteral)-})-}
    (Slice
      (Identifier)
      (NumberLiteral)
      (NumberLiteral))
    (Slice
      (Identifier)
      (NumberLiteral)
      (NumberLiteral))
    (Slice
      (Identifier)
      (NumberLiteral)
      (NumberLiteral)
      (NumberLiteral))))