let push s v =
  s := v :: !s