let push x t = { data = x :: t.data ; f_data = [] }