/*
 * BK Id: SCCS/s.dummy.c 1.6 05/18/01 15:17:15 cort
 */
int main(void)
{
	return 0;
}