let
fi_marks fi = fi.
T
.fi_init_marks