/* _dict.cc 04/06/1999 15.03.02 */
/* killchoice.tlcc 22/11/2001 22.40.46 */
/* monitortasks.cc 22/11/2001 22.40.22 */
/* process.cc 08/08/2000 17.21.08 */
void process_flushcache (void);
int process_read (void);
PROC *process_getfirst (void);
PROC *process_find (const char *path, const CONFIG_FILE *pidfile);
int process_findchild (int pid);
long process_isactive (const char *path);
/* startex.cc 24/10/2000 21.51.32 */
/* taskmon.cc 06/12/2000 14.26.18 */