INFO: Hello Russell!
INFO: stt enter stt id = ?
INFO: stt path 1
INFO: stt path 1 sttnstrings = 1
INFO: stt enter stt id = +=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 2
INFO: stt enter stt id = -=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 3
INFO: stt enter stt id = :=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 4
INFO: stt enter stt id = or
INFO: stt path 1
INFO: stt path 1 sttnstrings = 5
INFO: stt enter stt id = and
INFO: stt path 1
INFO: stt path 1 sttnstrings = 6
INFO: stt enter stt id = not
INFO: stt path 1
INFO: stt path 1 sttnstrings = 7
INFO: stt enter stt id = :=
INFO: stt path 2
INFO: stt path 2 it = 4
INFO: stt enter stt id = <
INFO: stt path 1
INFO: stt path 1 sttnstrings = 8
INFO: stt enter stt id = <:=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 9
INFO: stt enter stt id = >:=
INFO: stt path 1
INFO: stt path 1 sttnstrings = 10
INFO: stt enter stt id = <>
INFO: stt path 1
INFO: stt path 1 sttnstrings = 11
INFO: stt enter stt id = >
INFO: stt path 1
INFO: stt path 1 sttnstrings = 12
INFO: stt enter stt id = +
INFO: stt path 1
INFO: stt path 1 sttnstrings = 13
INFO: stt enter stt id = -
INFO: stt path 1
INFO: stt path 1 sttnstrings = 14
INFO: stt enter stt id = *
INFO: stt path 1
INFO: stt path 1 sttnstrings = 15
INFO: stt enter stt id = /
INFO: stt path 1
INFO: stt path 1 sttnstrings = 16
INFO: stt enter stt id = %
INFO: stt path 1
INFO: stt path 1 sttnstrings = 17
INFO: stt enter stt id = ^+
INFO: stt path 1
INFO: stt path 1 sttnstrings = 18
INFO: stt enter stt id = ^*
INFO: stt path 1
INFO: stt path 1 sttnstrings = 19
INFO: stt enter stt id = **
INFO: stt path 1
INFO: stt path 1 sttnstrings = 20
INFO: stt enter stt id = ^
INFO: stt path 1
INFO: stt path 1 sttnstrings = 21
INFO: stt enter stt id = .
INFO: stt path 1
INFO: stt path 1 sttnstrings = 22
INFO: stt enter stt id = New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 23
INFO: stt enter stt id = ptr_New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 24
INFO: stt enter stt id = init_New
INFO: stt path 1
INFO: stt path 1 sttnstrings = 25
INFO: stt enter stt id = V
INFO: stt path 1
INFO: stt path 1 sttnstrings = 26
INFO: stt enter stt id = First
INFO: stt path 1
INFO: stt path 1 sttnstrings = 27
INFO: stt enter stt id = Last
INFO: stt path 1
INFO: stt path 1 sttnstrings = 28
INFO: stt enter stt id = Pred
INFO: stt path 1
INFO: stt path 1 sttnstrings = 29
INFO: stt enter stt id = Succ
INFO: stt path 1
INFO: stt path 1 sttnstrings = 30
INFO: stt enter stt id = Ord
INFO: stt path 1
INFO: stt path 1 sttnstrings = 31
INFO: stt enter stt id = OrdInv
INFO: stt path 1
INFO: stt path 1 sttnstrings = 32
INFO: stt enter stt id = Card
INFO: stt path 1
INFO: stt path 1 sttnstrings = 33
INFO: stt enter stt id = In
INFO: stt path 1
INFO: stt path 1 sttnstrings = 34
INFO: stt enter stt id = Out
INFO: stt path 1
INFO: stt path 1 sttnstrings = 35
INFO: stt enter stt id = Boolean
INFO: stt path 1
INFO: stt path 1 sttnstrings = 36
INFO: stt enter stt id = True
INFO: stt path 1
INFO: stt path 1 sttnstrings = 37
INFO: stt enter stt id = False
INFO: stt path 1
INFO: stt path 1 sttnstrings = 38
INFO: stt enter stt id = Short
INFO: stt path 1
INFO: stt path 1 sttnstrings = 39
INFO: stt enter stt id = Void
INFO: stt path 1
INFO: stt path 1 sttnstrings = 40
INFO: stt enter stt id = Array
INFO: stt path 1
INFO: stt path 1 sttnstrings = 41
INFO: stt enter stt id = put
INFO: stt path 1
INFO: stt path 1 sttnstrings = 42
INFO: stt enter stt id = Callcc
INFO: stt path 1
INFO: stt path 1 sttnstrings = 43
INFO: stt enter stt id = size
INFO: stt path 1
INFO: stt path 1 sttnstrings = 44
INFO: stt enter stt id = ''
INFO: stt path 1
INFO: stt path 1 sttnstrings = 45
INFO: stt enter stt id = simple
INFO: stt path 1
INFO: stt path 1 sttnstrings = 46
INFO: stt enter stt id = standard
INFO: stt path 1
INFO: stt path 1 sttnstrings = 47
INFO: stt enter stt id = inline
INFO: stt path 1
INFO: stt path 1 sttnstrings = 48
INFO: stt enter stt id = Mk
INFO: stt path 1
INFO: stt path 1 sttnstrings = 49
INFO: stt enter stt id = Null
INFO: stt path 1
INFO: stt path 1 sttnstrings = 50
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mklist type p = ParameterNode__state
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = ParameterNode__state
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: stt enter stt id = init.r
INFO: stt path 1
INFO: stt path 1 sttnstrings = 51
INFO: Calling yyparse
INFO: cclass1 c = 

INFO: cclass WHTCC
INFO: getchr linebuf = 
INFO: in while *linebuf = 2
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf = 
INFO: ch = 
INFO: scan getchr read linebuf = ch = 
INFO: cclass1 c = 
INFO: cclass c = cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: SEP p =  c =   outtok = 2
INFO: Parser: action = 1
INFO: Parser: action = 52
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 50
INFO: Parser: action = 2
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: cclass1 c = -1
INFO: cclass EOFCC
INFO: Parser: Program accepted!!!!
INFO: stt enter stt id = fact.r
INFO: stt path 1
INFO: stt path 1 sttnstrings = 52
INFO: Calling yyparse
INFO: pend[1] = 4
INFO: pend[2] = 5
INFO: pend[3] = 5
INFO: pend[4] = 5
INFO: pend[5] = 5
INFO: pend[6] = 6
INFO: pend[7] = 7
INFO: pend[8] = 12
INFO: pend[9] = 14
INFO: pend[10] = 17
INFO: pend[11] = 19
INFO: pend[12] = 20
INFO: pend[13] = 21
INFO: pend[14] = 22
INFO: cclass1 c = 

INFO: cclass WHTCC
INFO: getchr linebuf = 
INFO: in while *linebuf = 4
INFO:  after read linebuf =  let
INFO: ch =  
INFO: scan getchr read linebuf = letch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = let
INFO: in while *linebuf = 3
INFO:  after read linebuf = let
INFO: ch = l
INFO: scan getchr read linebuf = etch = l
INFO: cclass1 c = l
INFO: cclass c = lcctab[c] = 2
INFO: getchr linebuf = et
INFO: in while *linebuf = 2
INFO:  after read linebuf = et
INFO: ch = e
INFO: scan getchr read linebuf = tch = e
INFO: cclass1 c = e
INFO: cclass c = ecctab[c] = 2
INFO: getchr linebuf = t
INFO: in while *linebuf = 1
INFO:  after read linebuf = t
INFO: ch = t
INFO: scan getchr read linebuf = ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf = 
INFO: in while *linebuf = 1
INFO:  after read linebuf =  
INFO: ch =  
INFO: scan getchr read linebuf = ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = let
INFO: Parser: action = 1
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = 
INFO: in while *linebuf = 32
INFO:  after read linebuf =      ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =     ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =     ! == func [ n : val Short ]
INFO: in while *linebuf = 31
INFO:  after read linebuf =     ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =    ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =    ! == func [ n : val Short ]
INFO: in while *linebuf = 30
INFO:  after read linebuf =    ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =   ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =   ! == func [ n : val Short ]
INFO: in while *linebuf = 29
INFO:  after read linebuf =   ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf =  ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf =  ! == func [ n : val Short ]
INFO: in while *linebuf = 28
INFO:  after read linebuf =  ! == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = ! == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ! == func [ n : val Short ]
INFO: in while *linebuf = 27
INFO:  after read linebuf = ! == func [ n : val Short ]
INFO: ch = !
INFO: scan getchr read linebuf =  == func [ n : val Short ]ch = !
INFO: cclass1 c = !
INFO: cclass c = !cctab[c] = 5
INFO: getchr linebuf =  == func [ n : val Short ]
INFO: in while *linebuf = 26
INFO:  after read linebuf =  == func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = == func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = !
INFO: stt enter stt id = !
INFO: stt path 1
INFO: stt path 1 sttnstrings = 53
INFO: Parser: action = 145
INFO: mknode va_alist
INFO: mknode va_alist
INFO: Parser: action = 15
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = OpridNode__state
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = == func [ n : val Short ]
INFO: in while *linebuf = 25
INFO:  after read linebuf = == func [ n : val Short ]
INFO: ch = =
INFO: scan getchr read linebuf = = func [ n : val Short ]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf = = func [ n : val Short ]
INFO: in while *linebuf = 24
INFO:  after read linebuf = = func [ n : val Short ]
INFO: ch = =
INFO: scan getchr read linebuf =  func [ n : val Short ]ch = =
INFO: cclass1 c = =
INFO: cclass c = =cctab[c] = 5
INFO: getchr linebuf =  func [ n : val Short ]
INFO: in while *linebuf = 23
INFO:  after read linebuf =  func [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = func [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = ==
INFO: Parser: action = 102
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = func [ n : val Short ]
INFO: in while *linebuf = 22
INFO:  after read linebuf = func [ n : val Short ]
INFO: ch = f
INFO: scan getchr read linebuf = unc [ n : val Short ]ch = f
INFO: cclass1 c = f
INFO: cclass c = fcctab[c] = 2
INFO: getchr linebuf = unc [ n : val Short ]
INFO: in while *linebuf = 21
INFO:  after read linebuf = unc [ n : val Short ]
INFO: ch = u
INFO: scan getchr read linebuf = nc [ n : val Short ]ch = u
INFO: cclass1 c = u
INFO: cclass c = ucctab[c] = 2
INFO: getchr linebuf = nc [ n : val Short ]
INFO: in while *linebuf = 20
INFO:  after read linebuf = nc [ n : val Short ]
INFO: ch = n
INFO: scan getchr read linebuf = c [ n : val Short ]ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf = c [ n : val Short ]
INFO: in while *linebuf = 19
INFO:  after read linebuf = c [ n : val Short ]
INFO: ch = c
INFO: scan getchr read linebuf =  [ n : val Short ]ch = c
INFO: cclass1 c = c
INFO: cclass c = ccctab[c] = 2
INFO: getchr linebuf =  [ n : val Short ]
INFO: in while *linebuf = 18
INFO:  after read linebuf =  [ n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = [ n : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = func
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = [ n : val Short ]
INFO: in while *linebuf = 17
INFO:  after read linebuf = [ n : val Short ]
INFO: ch = [
INFO: scan getchr read linebuf =  n : val Short ]ch = [
INFO: cclass1 c = [
INFO: cclass c = [cctab[c] = 4
INFO: getchr linebuf =  n : val Short ]
INFO: in while *linebuf = 16
INFO:  after read linebuf =  n : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = n : val Short ]ch =  
INFO: SEP p = [ c =   outtok = 91
INFO: Parser: action = 32
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = n : val Short ]
INFO: in while *linebuf = 15
INFO:  after read linebuf = n : val Short ]
INFO: ch = n
INFO: scan getchr read linebuf =  : val Short ]ch = n
INFO: cclass1 c = n
INFO: cclass c = ncctab[c] = 2
INFO: getchr linebuf =  : val Short ]
INFO: in while *linebuf = 14
INFO:  after read linebuf =  : val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = : val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = n
INFO: stt enter stt id = n
INFO: stt path 1
INFO: stt path 1 sttnstrings = 54
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = : val Short ]
INFO: in while *linebuf = 13
INFO:  after read linebuf = : val Short ]
INFO: ch = :
INFO: scan getchr read linebuf =  val Short ]ch = :
INFO: cclass1 c = :
INFO: cclass c = :cctab[c] = 5
INFO: getchr linebuf =  val Short ]
INFO: in while *linebuf = 12
INFO:  after read linebuf =  val Short ]
INFO: ch =  
INFO: scan getchr read linebuf = val Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_op p = :
INFO: Parser: action = 15
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 9
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = val Short ]
INFO: in while *linebuf = 11
INFO:  after read linebuf = val Short ]
INFO: ch = v
INFO: scan getchr read linebuf = al Short ]ch = v
INFO: cclass1 c = v
INFO: cclass c = vcctab[c] = 2
INFO: getchr linebuf = al Short ]
INFO: in while *linebuf = 10
INFO:  after read linebuf = al Short ]
INFO: ch = a
INFO: scan getchr read linebuf = l Short ]ch = a
INFO: cclass1 c = a
INFO: cclass c = acctab[c] = 2
INFO: getchr linebuf = l Short ]
INFO: in while *linebuf = 9
INFO:  after read linebuf = l Short ]
INFO: ch = l
INFO: scan getchr read linebuf =  Short ]ch = l
INFO: cclass1 c = l
INFO: cclass c = lcctab[c] = 2
INFO: getchr linebuf =  Short ]
INFO: in while *linebuf = 8
INFO:  after read linebuf =  Short ]
INFO: ch =  
INFO: scan getchr read linebuf = Short ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = val
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = Short ]
INFO: in while *linebuf = 7
INFO:  after read linebuf = Short ]
INFO: ch = S
INFO: scan getchr read linebuf = hort ]ch = S
INFO: cclass1 c = S
INFO: cclass c = Scctab[c] = 2
INFO: getchr linebuf = hort ]
INFO: in while *linebuf = 6
INFO:  after read linebuf = hort ]
INFO: ch = h
INFO: scan getchr read linebuf = ort ]ch = h
INFO: cclass1 c = h
INFO: cclass c = hcctab[c] = 2
INFO: getchr linebuf = ort ]
INFO: in while *linebuf = 5
INFO:  after read linebuf = ort ]
INFO: ch = o
INFO: scan getchr read linebuf = rt ]ch = o
INFO: cclass1 c = o
INFO: cclass c = occtab[c] = 2
INFO: getchr linebuf = rt ]
INFO: in while *linebuf = 4
INFO:  after read linebuf = rt ]
INFO: ch = r
INFO: scan getchr read linebuf = t ]ch = r
INFO: cclass1 c = r
INFO: cclass c = rcctab[c] = 2
INFO: getchr linebuf = t ]
INFO: in while *linebuf = 3
INFO:  after read linebuf = t ]
INFO: ch = t
INFO: scan getchr read linebuf =  ]ch = t
INFO: cclass1 c = t
INFO: cclass c = tcctab[c] = 2
INFO: getchr linebuf =  ]
INFO: in while *linebuf = 2
INFO:  after read linebuf =  ]
INFO: ch =  
INFO: scan getchr read linebuf = ]ch =  
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: reschk_id p = Short
INFO: stt enter stt id = Short
INFO: stt path 2
INFO: stt path 2 it = 39
INFO: Parser: action = 144
INFO: mknode va_alist
INFO: mknode va_alist
INFO: cclass1 c =  
INFO: cclass c =  cctab[c] = 1
INFO: getchr linebuf = ]
INFO: in while *linebuf = 1
INFO:  after read linebuf = ]
INFO: ch = ]
INFO: scan getchr read linebuf = ch = ]
INFO: cclass1 c = ]
INFO: cclass c = ]cctab[c] = 4
INFO: getchr linebuf = 
INFO: in while *linebuf = 20
INFO:  after read linebuf =                  {  
INFO: ch =  
INFO: scan getchr read linebuf =                 {  ch =  
INFO: SEP p = ] c =   outtok = 93
INFO: Parser: action = 134
INFO: Parser: action = 81
INFO: Parser: action = 58
INFO: Parser: action = 53
INFO: mklist va_alist
INFO: mknode va_alist
INFO: mklist type p = LetterId__state
INFO: Parser: action = 51
INFO: mkappl size = 1
INFO: type body i = 1null
INFO: mkappl2 head = 1 tail = 1
