exit(int ret) -> void

exit(kernel * k) -> void

wait_and_return() -> int