rumptest_threadpool_job_cancelthrash
void rumptest_threadpool_job_cancelthrash(void);
rumptest_threadpool_job_cancelthrash(); /* panics if fails */