"EXPORTED-STATIC-SYMBOLS" "EXTERN-ALIEN-NAME"
"FDEFN-FUN-SLOT" "FDEFN-NAME-SLOT" "FDEFN-RAW-ADDR-SLOT"
"FDEFN-SIZE" "FDEFN-WIDETAG" "FIXNUMIZE"
+ "FIXNUM-TAG-MASK"
"FIXUP-CODE-OBJECT" "FLOAT-DENORMAL-TRAP-BIT"
"FLOAT-DIVIDE-BY-ZERO-TRAP-BIT"
"FLOAT-IMPRECISE-TRAP-BIT" "FLOAT-INVALID-TRAP-BIT"
"LRA-SAVE-OFFSET"
"MEMORY-USAGE" "MOST-POSITIVE-COST"
"N-LOWTAG-BITS"
+ "N-FIXNUM-TAG-BITS"
+ "N-POSITIVE-FIXNUM-BITS"
"NEGATIVE-IMMEDIATE-SC-NUMBER"
"NFP-SAVE-OFFSET"
"NON-DESCRIPTOR-REG-SC-NUMBER"