/* Clear the state of the POSIX architecture free whatever memory it may have allocated, etc.  */
void posix_arch_clean_up(void)
/* Clear the state of the POSIX architecture free whatever memory it may have allocated, etc.  */
void posix_arch_clean_up(void)
{
	nct_clean_up(te_state);
}