void rm_pid_file(void);
void sysreboot (int saveLoc);