SECURE
#define SECURE 6 /* Secure system */
typedef struct SECURE {
} SECURE;
static enum { UNKNOWN, SECURE, PUBLIC } current_map_access = UNKNOWN;