next_registered_randintr
intr = next_registered_randintr(intr);
int next_registered_randintr(int intr);