// This is an example C header file