state13 p t v =
  case t of
    Ast    -> (pushStack p state3 gotof3 v, False)
    Sla    -> (pushStack p state4 gotof4 v, False)
    Pls    -> (pushStack p state5 gotof5 v, False)
    Mns    -> (pushStack p state6 gotof6 v, False)
    End    -> (ParsingData True (parsingError p) (getStackArg p 1 0) (parsingStack p), False)
    _      -> (ParsingData (accepted p) True (acceptedValue p) (parsingStack p), False)
state13 p t v =
  case t of
    Ast    -> (pushStack p state3 gotof3 v, False)
    Sla    -> (pushStack p state4 gotof4 v, False)
    Pls    -> (pushStack p state5 gotof5 v, False)
    Mns    -> (pushStack p state6 gotof6 v, False)
    End    -> (ParsingData True (parsingError p) (getStackArg p 1 0) (parsingStack p), False)
    _      -> (ParsingData (accepted p) True (acceptedValue p) (parsingStack p), False)
state13 p t v =
  case t of
    Ast    -> (pushStack p state3 gotof3 v, False)
    Sla    -> (pushStack p state4 gotof4 v, False)
    Pls    -> (pushStack p state5 gotof5 v, False)
    Mns    -> (pushStack p state6 gotof6 v, False)
    End    -> (ParsingData True (parsingError p) (getStackArg p 1 0) (parsingStack p), False)
    _      -> (ParsingData (accepted p) True (acceptedValue p) (parsingStack p), False)