1 // This file is distributed under the University of Illinois Open Source
2 // License. See LICENSE.TXT for details.
3 
4 // Source code for a simple DSO.
5 
DSO1(int a)6 int DSO1(int a) {
7   if (a < 123456)
8     return 0;
9   return 1;
10 }
11 
Uncovered1()12 void Uncovered1() { }
13