/* List of application entry points, generated during make depend. */
EXTERN int hello_main(int argc, char *argv[]);