/* public domain */

int	dummy(void);

int
dummy(void)
{
	return 1;
}