do_free(s)
char *s;
{
	free(s);
}