gotof0 p i v =
  case i of
    0 -> (pushStack p state13 gotof13 v, True)
    _ -> (p, False)
gotof0 p i v =
  case i of
    0 -> (pushStack p state13 gotof13 v, True)
    _ -> (p, False)
gotof0 p i v =
  case i of
    0 -> (pushStack p state13 gotof13 v, True)
    _ -> (p, False)