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 }