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