Re: [PATCH 1/1] sandbox: mark sandbox_exit() as no return.