#define VXD32
#include "dbgprint.c"