thread_level
res = 1 + thread_level(machine, parent_thread);
int level = thread_level(machine, thread);
level_a = thread_level(machine, a);
level_b = thread_level(machine, b);