#define VXD32 #include "dbgprint.c"