/* this file only to keep the makefile happy */
/* we need a source file with same name than the resultant exectuable */
static int dummy = 0;