Here is the generated C file:

https://dl.dropboxusercontent.com/u/5743203/tmp/random.c