/* dummy ident string to satifsy extern reference in crt0.o if widget is
   not linked
 */
char __Ident_widget[1];