get_run_delay
long get_run_delay(void);
run_delay = get_run_delay();
run_delay = get_run_delay();
while (get_run_delay() - run_delay < MIN_RUN_DELAY_NS);
run_delay = get_run_delay() - run_delay;
rundelay = get_run_delay() + MIN_STEAL_TIME;
} while (get_run_delay() < rundelay);