Function CHECK-REQUIRED
Macro DEF-SPECIAL-ENVIRONMENT Define two macros for dealing with groups or related special variables.