let dummy_t_fct_slice = { ff_fct = dummy_t_fct_info ; ff_id = 0 ; ff_marks = dummy_t_ff_marks ; ff_called_by = [] }