gotof1 p i v =
  case i of
    0 -> (pushStack p state7 gotof7 v, True)
    _ -> (p, False)
gotof1 p i v =
  case i of
    0 -> (pushStack p state7 gotof7 v, True)
    _ -> (p, False)
gotof1 p i v =
  case i of
    0 -> (pushStack p state7 gotof7 v, True)
    _ -> (p, False)