int boinc_finish(int status);
int boinc_temporary_exit(int delay);