Symbol: kernel_wait4