1 /* public domain */
2 
3 int	dummy(void);
4 
5 int
6 dummy(void)
7 {
8 	return 1;
9 }