let
dummy_t_ff_marks = (
PdgTypes
.
Pdg
.top (
Kernel_function
.dummy ()),
dummy_t_marks_index)