/* function declared as extern in a .c file
 * This shouldn't generate anything.
 */
extern int externdecl_c(void);