// Only thing we care about is that these headers are found #include #include int main(int argc, char** argv) { return 0; }