1 #include <stdio.h>
2 
3 void
xxx1(void)4 xxx1 (void)
5 {
6   printf ("DSO1\n");
7 }
8 
9 void
xxx2(void)10 xxx2 (void)
11 {
12   printf ("DSO2\n");
13 }
14