let
collect_fun_defs fd =
fdefs :=
UD
.
VS
.empty;
ignore(visitCilFunction defCollector fd);
!fdefs