let imp_push x t = t.h <- push x t.h