let dummy_t_marks_index = PdgIndex.FctIndex.create 0