let
push x t =
t.data <- x :: t.data ;
t.f_data <- []