/* In this case, the no-indeterminism principle is lost. Runs of native_posix will depend on the host load and the interactions with those real host peripherals.  */
void posix_exit(int exit_code)
/* In this case, the no-indeterminism principle is lost. Runs of native_posix will depend on the host load and the interactions with those real host peripherals.  */
void posix_exit(int exit_code)
{
	static int max_exit_code;
	max_exit_code = MAX(exit_code, max_exit_code);
	posix_soc_clean_up();
	hwm_cleanup();
	native_cleanup_cmd_line();
	exit(max_exit_code);
}