1#include "instrprof-dynamic-header.h"
2void foo(int K) { if (K) {} }
3int main(int argc, char *argv[]) {
4  foo(5);
5  bar<void>();
6  a();
7  b();
8  return 0;
9}
10