/* file generated by 'generate-global-headers.bat' */  
#include "..\../crypto/krb5/krb5_asn.h"