gotof2 p i v =
  case i of
    0 -> (pushStack p state8 gotof8 v, True)
    _ -> (p, False)
gotof2 p i v =
  case i of
    0 -> (pushStack p state8 gotof8 v, True)
    _ -> (p, False)
gotof2 p i v =
  case i of
    0 -> (pushStack p state8 gotof8 v, True)
    _ -> (p, False)