#ifndef __HELLO_WORLD_H__
#define __HELLO_WORLD_H__

/*@observer@*/ const char * helloWorld();

#endif