/* file generated by 'generate-global-headers.bat' */  
#include "..\../ssl/dtls1.h"