#include <stdlib.h>

char * setstate(char * state)
{
	return state;
}

/*
XOPEN(400)
*/