run_test("exec killed at start", test_exec_kill_begin);
run_test("exec killed in middle", test_exec_kill_middle);
run_test("exec restarted at start", test_exec_restart_begin);
run_test("exec killed at start", test_exec_kill_begin);
run_test("exec killed in middle", test_exec_kill_middle);
run_test("exec restarted at start", test_exec_restart_begin);