gotof6 p i v =
  case i of
    0 -> (pushStack p state12 gotof12 v, True)
    _ -> (p, False)
gotof6 p i v =
  case i of
    0 -> (pushStack p state12 gotof12 v, True)
    _ -> (p, False)
gotof6 p i v =
  case i of
    0 -> (pushStack p state12 gotof12 v, True)
    _ -> (p, False)