int
main(void)
{
	return 0; /* not meant to do anything */
}