add push/peek/pop functions to util.ml