Symbol: wait4_thread