1 45fcf992 2022-01-31 op /* public domain */
2 45fcf992 2022-01-31 op 
3 45fcf992 2022-01-31 op int	dummy(void);
4 45fcf992 2022-01-31 op 
5 45fcf992 2022-01-31 op int
6 45fcf992 2022-01-31 op dummy(void)
7 45fcf992 2022-01-31 op {
8 45fcf992 2022-01-31 op 	return 1;
9 45fcf992 2022-01-31 op }