#include <stdio.h>
int main () {
typedef unsigned int Bool;
typedef unsigned char uint8_t;
typedef unsigned short uint16_t;
typedef unsigned uint32_t;
typedef uint8_t NTK_ACTIVE_SLOT_T;
#define NTK_INVALID_ACTIVE_SLOT ((NTK_ACTIVE_SLOT_T) - 1)
printf("NTK_INVALID_ACTIVE_SLOT = %d\nNTK_ACTIVE_SLOT_T = 0x%x\n",
NTK_INVALID_ACTIVE_SLOT , NTK_INVALID_ACTIVE_SLOT );
return 0;
}