int pidfile(char *);
void pidfile_cleanup(char *);