#include <krb5/wordsize.h>
-typedef unsigned krb5_octet krb5_ui_1;
-typedef unsigned krb5_int16 krb5_ui_2;
-typedef unsigned krb5_int32 krb5_ui_4;
-typedef unsigned krb5_octet krb5_boolean;
-
#ifndef FALSE
#define FALSE 0
#endif
#define TRUE 1
#endif
+typedef krb5_octet krb5_boolean;
typedef krb5_int32 krb5_timestamp;
typedef krb5_ui_4 krb5_confounder;
typedef krb5_octet krb5_msgtype;
#define __OK
typedef int krb5_int16;
typedef long krb5_int32;
+
typedef unsigned char krb5_octet;
+typedef unsigned char krb5_ui_1;
+typedef unsigned int krb5_ui_2;
+typedef unsigned long krb5_ui_4;
#endif
#ifdef BITS32
typedef short krb5_int16;
typedef int krb5_int32;
typedef unsigned char krb5_octet;
+typedef unsigned char krb5_ui_1;
+typedef unsigned short krb5_ui_2;
+typedef unsigned int krb5_ui_4;
#endif
#ifndef __OK