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