: static int thread_switch(int n)

