1*ab79d7d9SWilliam A. Kennington III // Dummy executable needed to work around coverage 2*ab79d7d9SWilliam A. Kennington III int main() 3*ab79d7d9SWilliam A. Kennington III {} 4