// Manually crafted header file for C Library
void sayHello(char* name);