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