Compilable C Curry Challenge!

C and C++ are both statically typed. And thus it seems like a fun challenge to write a program in C or C++ that writes source code by looking in header files for functions to call and then randomly mashes them together and passes the results to other functions.

I wonder how long it'd take before you'd find a kernel bug this way.

Has anyone ever done this?