gotof5 p i v =
  case i of
    0 -> (pushStack p state11 gotof11 v, True)
    _ -> (p, False)
gotof5 p i v =
  case i of
    0 -> (pushStack p state11 gotof11 v, True)
    _ -> (p, False)
gotof5 p i v =
  case i of
    0 -> (pushStack p state11 gotof11 v, True)
    _ -> (p, False)