int pidfile(const char *);