/* This is an example C header file that will be included as is in the generated source */
#include <stdio.h>