/* Dummy patch header to get win32 flex/bison generated */ 
/* source code to compile under win32. If you see this */ 
/* temp file, feel free to scratch it. */ 
#include "io.h"