+ // number of edicts for which space has been (should be) allocated
+ int max_edicts; // [INIT]
+ // used instead of the constant MAX_EDICTS
+ int limit_edicts; // [INIT]
+
+ // number of reserved edicts (allocated from 1)
+ int reserved_edicts; // [INIT]
+