/* This is a dummy include file that is required by the source files generated
 * by flex.
 */
#include <io.h>
#include <stdlib.h>