    main              104 source/datimec.c int main(int, char **);
    main              156 source/daymvdel.c int main(int, char **);
    main              184 source/db.c    int main(void);
    main              146 source/dbgen.c int main(int, char **);
    main              211 source/dbsrv.c int main(int, char **);
    main              232 source/dbstress.c int main(int, char **);
    main               41 source/dos2unix.c int main(int, char **);
    main               94 source/dumsockc.c int main(void);
    main              124 source/dumsocks.c int main(int, char **);
    main               72 source/fxpstres.c int main(void);
    main              121 source/ialive.c int main(int, char **);
    main              104 source/iex.c   int main(int, char **);
    main               51 source/rmtree.c int main(int, char **);
    main              178 source/sched.c int main(void);
    main              186 source/sockc.c int main(int, char **);
    main              140 source/socloc.c int main(int, char **);
    main              161 source/sys_log.c int main(int, char **);
    main              114 source/timesync.c int main(int, char **);