+ DECLARE("bbThreadbit", bbThreadbit);
+ DECLARE("bbPreemptivebit", bbPreemptivebit);
+ DECLARE("bbThread", bbThread);
+ DECLARE("bbPreemptive", bbPreemptive);
+ DECLARE("fvChkb", fvChkb);
+ DECLARE("fvChk", fvChk);
+ DECLARE("userProtKeybit", userProtKeybit);
+ DECLARE("userProtKey", userProtKey);