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