gotof4 p i v =
  case i of
    0 -> (pushStack p state10 gotof10 v, True)
    _ -> (p, False)
gotof4 p i v =
  case i of
    0 -> (pushStack p state10 gotof10 v, True)
    _ -> (p, False)
gotof4 p i v =
  case i of
    0 -> (pushStack p state10 gotof10 v, True)
    _ -> (p, False)