This file is indexed.

/usr/lib/gcl-2.6.12/cmpnew/sys-proclaim.lisp is in gcl 2.6.12-47.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
(COMMON-LISP::IN-PACKAGE "COMPILER") 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             ((COMMON-LISP::INTEGER -9223372036854775808
                  9223372036854775807)
              (COMMON-LISP::INTEGER -9223372036854775808
                  9223372036854775807))
             COMMON-LISP::T)
         COMPILER::MLIN)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             ((COMMON-LISP::VECTOR COMMON-LISP::CHARACTER
                  COMMON-LISP::*)
              (COMMON-LISP::INTEGER -9223372036854775808
                  9223372036854775807)
              (COMMON-LISP::INTEGER -9223372036854775808
                  9223372036854775807))
             COMMON-LISP::T)
         COMPILER::DASH-TO-UNDERSCORE-INT)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             ((COMMON-LISP::VECTOR COMMON-LISP::CHARACTER
                  COMMON-LISP::*))
             COMMON-LISP::T)
         COMPILER::TS COMPILER::DASH-TO-UNDERSCORE)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION COMMON-LISP::NIL COMMON-LISP::T)
         COMPILER::C1NIL COMPILER::WT-DATA-FILE
         COMPILER::CLOSE-INLINE-BLOCKS COMPILER::WT-NEXT-VAR-ARG
         COMPILER::RESET-TOP COMPILER::VS-PUSH COMPILER::BABOON
         COMPILER::GAZONK-NAME COMPILER::PRINT-COMPILER-INFO
         COMPILER::ADD-LOAD-TIME-SHARP-COMMA COMPILER::INIT-ENV
         COMPILER::PRINT-CURRENT-FORM COMPILER::WT-C-PUSH COMPILER::C1T
         COMPILER::WT-FIRST-VAR-ARG COMPILER::CCB-VS-PUSH
         COMPILER::INC-INLINE-BLOCKS COMPILER::WT-CVARS
         COMPILER::WT-FASD-DATA-FILE COMPILER::WFS-ERROR
         COMPILER::WT-DATA-END COMPILER::TAIL-RECURSION-POSSIBLE
         COMPILER::CVS-PUSH COMPILER::WT-DATA-BEGIN)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::FIXNUM)
         COMPILER::ANALYZE-REGS1 COMPILER::ANALYZE-REGS
         COMPILER::PROCLAIMED-ARGD)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::T)
         COMPILER::CHECK-FNAME-ARGS COMPILER::COERCE-LOC
         COMPILER::TYPE>= COMPILER::C2BIND-LOC
         COMPILER::RESULT-TYPE-FROM-ARGS COMPILER::ADD-DEBUG-INFO
         COMPILER::MAKE-USER-INIT COMPILER::CO1EQL COMPILER::C2ASSOC!2
         COMPILER::WT-VAR COMPILER::CFAST-WRITE COMPILER::C2STACK-LET
         COMPILER::C2DM-BIND-INIT COMPILER::IS-REP-REFERRED
         COMPILER::CO1CONS COMPILER::SHIFT<<
         COMPILER::C2MULTIPLE-VALUE-SETQ COMPILER::C2CALL-LOCAL
         COMPILER::CO1SCHAR COMPILER::C1CONSTANT-VALUE
         COMPILER::WT-CHARACTER-VALUE COMPILER::CONVERT-CASE-TO-SWITCH
         COMPILER::C2MULTIPLE-VALUE-CALL COMPILER::C2EXPR-TOP
         COMPILER::CO1READ-BYTE COMPILER::PRIN1-CMP
         COMPILER::STRUCT-TYPE-OPT COMPILER::C1DECL-BODY
         COMPILER::COERCE-LOC-STRUCTURE-REF
         COMPILER::CO1STRUCTURE-PREDICATE COMPILER::WT-MAKE-DCLOSURE
         COMPILER::ARGS-INFO-CHANGED-VARS
         COMPILER::C2LIST-NTH-IMMEDIATE COMPILER::CO1LDB
         COMPILER::CO1WRITE-BYTE COMPILER::C1PROGN*
         COMPILER::CO1CONSTANT-FOLD COMPILER::SET-JUMP-TRUE
         COMPILER::C1SETQ1 COMPILER::CO1READ-CHAR COMPILER::C2BIND-INIT
         COMPILER::CO1TYPEP COMPILER::WT-FIXNUM-VALUE
         COMPILER::MULTIPLE-VALUE-CHECK COMPILER::SHIFT>>
         COMPILER::CO1SUBLIS COMPILER::DO-MACRO-EXPANSION
         COMPILER::C2UNWIND-PROTECT COMPILER::C2CALL-LAMBDA
         COMPILER::C2MEMBER!2 COMPILER::GET-INLINE-LOC
         COMPILER::C1LAMBDA-FUN COMPILER::JUMPS-TO-P COMPILER::C1EXPR*
         COMPILER::C2SETQ COMPILER::C2APPLY COMPILER::UNWIND-BDS
         COMPILER::SET-BDS-BIND COMPILER::NEED-TO-PROTECT
         COMPILER::C1FMLA COMPILER::TYPE-AND COMPILER::CMPFIX-ARGS
         COMPILER::MAYBE-EVAL COMPILER::C2BLOCK-CLB COMPILER::SET-DBIND
         COMPILER::C2LAMBDA-EXPR-WITHOUT-KEY
         COMPILER::WT-LONG-FLOAT-VALUE COMPILER::C2DM-BIND-VL
         COMPILER::WT-SHORT-FLOAT-VALUE COMPILER::T3SHARP-COMMA
         COMPILER::COMPILER-CLEAR-COMPILER-PROPERTIES COMPILER::C2CATCH
         COMPILER::C2EXPR-TOP* COMPILER::SET-JUMP-FALSE
         COMPILER::CO1VECTOR-PUSH COMPILER::WT-V*-MACROS
         COMPILER::ARGS-INFO-REFERRED-VARS COMPILER::SET-VS
         COMPILER::WT-REQUIREDS COMPILER::C2RETURN-CCB
         COMPILER::C2THROW COMPILER::CHECK-END
         COMPILER::PUSH-CHANGED-VARS COMPILER::C2BLOCK-CCB
         SYSTEM::ADD-DEBUG COMPILER::C2PSETQ COMPILER::C1ARGS
         COMPILER::COMPILER-CC COMPILER::INLINE-PROC
         COMPILER::CO1WRITE-CHAR COMPILER::COMPILER-DEF-HOOK
         COMPILER::CAN-BE-REPLACED COMPILER::C2MULTIPLE-VALUE-PROG1
         COMPILER::C2DM-BIND-LOC COMPILER::ADD-INFO
         COMPILER::CO1SPECIAL-FIX-DECL COMPILER::C2LAMBDA-EXPR-WITH-KEY
         COMPILER::FAST-READ COMPILER::C2RETURN-CLB
         COMPILER::PROCLAIM-VAR)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T COMMON-LISP::*)
             COMMON-LISP::*)
         COMPILER::COMPILE-FILE1)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::T)
         COMPILER::MAKE-INLINE-STRING COMPILER::GET-INLINE-INFO
         COMPILER::C1STRUCTURE-REF1 COMPILER::CJF COMPILER::SET-VAR
         COMPILER::CHECK-FORM-TYPE COMPILER::AND-FORM-TYPE
         COMPILER::SUBLIS1-INLINE COMPILER::T3DEFCFUN
         COMPILER::WT-INLINE-INTEGER COMPILER::C-FUNCTION-NAME
         COMPILER::FIX-DOWN-ARGS COMPILER::ASSIGN-DOWN-VARS
         COMPILER::WT-INLINE-FIXNUM COMPILER::C2GO COMPILER::CJT
         COMPILER::TOO-FEW-ARGS COMPILER::C2PRINC COMPILER::C2CASE
         COMPILER::C2LET* COMPILER::BOOLE3 COMPILER::COMPILER-PASS2
         COMPILER::C1DM COMPILER::CHECK-VDECL COMPILER::C2LET
         COMPILER::MYSUB COMPILER::CAN-BE-REPLACED*
         COMPILER::ADD-FUNCTION-PROCLAMATION COMPILER::WT-IF-PROCLAIMED
         COMPILER::C1MAP-FUNCTIONS COMPILER::ADD-FAST-LINK
         COMPILER::WT-INLINE-LONG-FLOAT COMPILER::TOO-MANY-ARGS
         COMPILER::C2MULTIPLE-VALUE-BIND COMPILER::C2PROGV
         COMPILER::WT-INLINE-CHARACTER
         COMPILER::ADD-FUNCTION-DECLARATION COMPILER::CMP-EXPAND-MACRO
         COMPILER::C2MAPCAR COMPILER::INLINE-TYPE-MATCHES
         COMPILER::C2FUNCALL-SFUN COMPILER::WT-MAKE-CCLOSURE
         COMPILER::C2MAPCAN COMPILER::C2TAGBODY
         COMPILER::WT-INLINE-COND COMPILER::C2MAPC
         COMPILER::WT-INLINE-SHORT-FLOAT)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::T COMMON-LISP::T COMMON-LISP::*)
             COMMON-LISP::T)
         COMPILER::T3LOCAL-FUN COMPILER::T3LOCAL-DCFUN)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::T)
         COMPILER::T3DEFMACRO COMPILER::T3DEFENTRY COMPILER::T2DEFENTRY
         COMPILER::DEFSYSFUN COMPILER::T2DEFMACRO)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::T)
         COMPILER::T3DEFUN COMPILER::T3DEFUN-LOCAL-ENTRY
         COMPILER::C2STRUCTURE-SET COMPILER::T2DEFUN
         COMPILER::C1APPLY-OPTIMIZE)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::*)
             COMMON-LISP::T)
         COMPILER::C2LAMBDA-EXPR COMPILER::C2FUNCALL
         COMPILER::INLINE-ARGS COMPILER::LINK)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::T)
             COMMON-LISP::T)
         COMPILER::T3INIT-FUN COMPILER::C2STRUCTURE-REF
         COMPILER::WT-GLOBAL-ENTRY COMPILER::T3DEFUN-NORMAL
         COMPILER::T3DEFUN-VARARG COMPILER::C1MAKE-VAR
         COMPILER::C2SWITCH COMPILER::MY-CALL COMPILER::C2CALL-GLOBAL
         COMPILER::C2CALL-UNKNOWN-GLOBAL)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::*)
             COMMON-LISP::T)
         COMPILER::GET-OUTPUT-PATHNAME COMPILER::WT-SIMPLE-CALL)) 
(COMMON-LISP::MAPC
    (COMMON-LISP::LAMBDA (COMPILER::X)
      (COMMON-LISP::SETF
          (COMMON-LISP::GET COMPILER::X 'COMPILER::PROCLAIMED-CLOSURE)
          COMMON-LISP::T))
    '(COMPILER::CMP-ANON COMMON-LISP::COMPILE COMPILER::CMP-TMP-MACRO
         COMMON-LISP::DISASSEMBLE)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::*) COMMON-LISP::T)
         COMPILER::MAKE-VAR COMPILER::COMPILER-COMMAND
         COMPILER::LIST*-INLINE COMMON-LISP::COMPILE-FILE
         COMPILER::CS-PUSH COMPILER::MAKE-INFO COMPILER::FCALLN-INLINE
         COMPILER::C2FSET COMPILER::MAKE-TAG COMPILER::WT-CLINK
         COMPILER::LIST-INLINE COMPILER::MAKE-FUN COMPILER::MAKE-BLK)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T) COMMON-LISP::*)
         COMPILER::T1EVAL-WHEN COMPILER::T1EXPR
         COMPILER::WT-CHARACTER-LOC COMPILER::SET-LOC
         COMPILER::CMP-TOPLEVEL-EVAL COMPILER::C2PROGN
         COMPILER::WT-TO-STRING COMPILER::MEXPAND-DEFTYPE
         COMPILER::WT-SHORT-FLOAT-LOC COMPILER::CMP-EVAL
         COMPILER::WT-LOC COMPILER::C2AND COMPILER::C2EXPR
         COMPILER::WT-LONG-FLOAT-LOC COMPILER::C2OR
         COMPILER::WT-FIXNUM-LOC)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T) COMMON-LISP::T)
         COMPILER::LTVP-EVAL COMPILER::FSET-FN-NAME COMPILER::C1MAPCON
         COMPILER::FUNCTION-ARG-TYPES COMPILER::C1SHARP-COMMA
         COMPILER::SAVE-AVMA COMPILER::C2TAGBODY-CCB COMPILER::VAR-LOC
         COMPILER::WT-DOWN COMPILER::C1SETQ COMPILER::TAG-REF-CCB
         COMPILER::T1DEFINE-STRUCTURE COMPILER::SAVE-FUNOB
         COMPILER::C1VAR COMPILER::VV-STR COMPILER::C1RPLACA
         COMPILER::INFO-SP-CHANGE COMPILER::BLK-REF-CCB
         COMPILER::T1ORDINARY COMPILER::FIXNUM-LOC-P
         COMPILER::FUN-REF-CCB COMPILER::C2GET COMPILER::FUN-NAME
         COMPILER::FUN-P COMPILER::SCH-GLOBAL COMPILER::C1LET
         COMPILER::C2TAGBODY-CLB COMPILER::C1UNWIND-PROTECT
         COMPILER::SET-RETURN COMPILER::WT-VAR-DECL
         COMPILER::VAR-REGISTER COMPILER::C1DEFINE-STRUCTURE
         COMPILER::LTVP COMPILER::INLINE-POSSIBLE COMPILER::CHECK-VREF
         COMPILER::TAG-NAME COMPILER::C2DM-RESERVE-VL
         COMPILER::VAR-TYPE COMPILER::WT-LIST COMPILER::C1LET*
         COMPILER::VARARG-P COMPILER::C1LOAD-TIME-VALUE
         COMPILER::C2FUNCALL-AUX COMPILER::INFO-TYPE COMPILER::C1GET
         COMPILER::C1NTHCDR-CONDITION COMPILER::C1AND
         COMPILER::C1MULTIPLE-VALUE-CALL COMPILER::C1RPLACA-NTHCDR
         COMPILER::INFO-VOLATILE COMPILER::INLINE-TYPE
         COMPILER::LONG-FLOAT-LOC-P COMPILER::INFO-CHANGED-ARRAY
         SYSTEM::UNDEF-COMPILER-MACRO COMPILER::DECL-BODY-SAFETY
         COMPILER::TAG-VAR COMPILER::CHARACTER-LOC-P COMPILER::C2BIND
         COMPILER::C1DECLARE COMPILER::CONS-TO-LISTA
         COMPILER::C1MULTIPLE-VALUE-SETQ COMPILER::NAME-SD1
         COMPILER::BLK-NAME COMPILER::PARSE-CVSPECS COMPILER::C1MAPL
         COMPILER::AET-C-TYPE COMPILER::C2VAR COMPILER::COPY-INFO
         COMPILER::C1PSETQ COMPILER::C1VREF COMPILER::FUN-REF
         COMPILER::WT-H1 COMPILER::T1DEFCFUN COMPILER::T1PROGN
         COMPILER::C1EVAL-WHEN COMPILER::FLAGS-POS COMPILER::WT-VS
         COMPILER::C2VAR-KIND COMPILER::C1LENGTH
         COMPILER::C1MULTIPLE-VALUE-BIND COMPILER::C2LOCATION
         COMPILER::C2DM-RESERVE-V COMPILER::C2FUNCTION
         COMPILER::WT-SWITCH-CASE COMPILER::C2TAGBODY-LOCAL
         COMPILER::CONSTANT-FOLD-P COMPILER::NEED-TO-SET-VS-POINTERS
         COMPILER::C1MAPCAN COMPILER::WT-FUNCALL-C COMPILER::WT-CCB-VS
         COMPILER::C1RETURN-FROM COMPILER::GET-INCLUDED
         COMPILER::C1BLOCK COMPILER::ADD-CONSTANT COMPILER::WT-VS-BASE
         COMPILER::C1NTH-CONDITION COMPILER::FUN-LEVEL
         COMPILER::UNWIND-NO-EXIT COMMON-LISP::PROCLAIM
         COMPILER::C1PRINC COMPILER::C2EXPR* COMPILER::RESULT-TYPE
         COMPILER::TAG-REF COMPILER::C1FUNCALL COMPILER::C1PROGN
         COMPILER::MAXARGS COMPILER::UNDEFINED-VARIABLE COMPILER::C1THE
         COMPILER::CMP-MACROEXPAND COMPILER::C1MAPCAR
         COMPILER::DEFAULT-INIT COMPILER::C1STRUCTURE-SET
         COMPILER::WT-SYMBOL-FUNCTION COMPILER::T1DEFUN
         COMPILER::WT-DATA1 COMPILER::PUSH-DATA-INCF COMPILER::C1IF
         COMPILER::C1NTHCDR COMPILER::ADD-SYMBOL
         COMPILER::C1MULTIPLE-VALUE-PROG1 COMPILER::BLK-REF
         COMPILER::WT-FUNCTION-LINK COMPILER::INFO-P COMPILER::C1FSET
         COMPILER::C1PROGV COMPILER::C1ASSOC COMPILER::VAR-REF
         COMPILER::ARGS-CAUSE-SIDE-EFFECT COMPILER::MDELETE-FILE
         COMPILER::CMP-MACRO-FUNCTION COMPILER::C2DOWNWARD-FUNCTION
         COMPILER::C2GO-LOCAL COMPILER::T1DEFLA COMPILER::VAR-REF-CCB
         COMPILER::C1FLET COMPILER::C1LIST-NTH
         COMPILER::ADD-LOOP-REGISTERS COMPILER::INFO-REFERRED-ARRAY
         COMPILER::BLK-VALUE-TO-GO COMPILER::WT-VS*
         COMPILER::NAME-TO-SD COMPILER::C1RPLACD
         COMPILER::WT-DATA-PACKAGE-OPERATION COMPILER::C1SWITCH
         COMPILER::C1CATCH COMPILER::WT-CAR COMPILER::C1MACROLET
         COMPILER::OBJECT-TYPE COMPILER::C1MAPC COMPILER::T1CLINES
         COMPILER::C1COMPILER-LET COMPILER::CMP-MACROEXPAND-1
         COMPILER::C1TAGBODY COMPILER::C1MAPLIST COMPILER::PUSH-ARGS
         COMPILER::T3ORDINARY COMPILER::C1MEMBER COMPILER::T1MACROLET
         COMPILER::WT-CDR COMPILER::C1BOOLE3 COMPILER::PROCLAMATION
         COMPILER::GET-LOCAL-RETURN-TYPE COMPILER::C1LOCAL-FUN
         COMPILER::VAR-KIND COMPILER::WT1 COMPILER::TAG-SWITCH
         COMPILER::C1OR COMPILER::C1STRUCTURE-REF
         COMPILER::THE-PARAMETER COMPILER::VAR-REP-LOC
         COMPILER::DECLARATION-TYPE COMPILER::TAG-P COMPILER::C2GETHASH
         COMPILER::C1EXPR COMPILER::REPLACE-CONSTANT COMPILER::C1ECASE
         COMPILER::FUN-CFUN COMPILER::SET-TOP COMPILER::TAG-LABEL
         COMPILER::C1DM-BAD-KEY COMPILER::C1THROW COMPILER::C2GO-CCB
         COMPILER::REP-TYPE COMPILER::C2VALUES
         COMPILER::SHORT-FLOAT-LOC-P COMPILER::FUNCTION-RETURN-TYPE
         COMPILER::ADD-OBJECT COMPILER::CTOP-WRITE COMPILER::C1MEMQ
         COMPILER::WT-DOWNWARD-CLOSURE-MACRO COMPILER::C1TERPRI
         COMPILER::T1DEFMACRO COMPILER::T3CLINES COMPILER::ADD-REG1
         COMPILER::C1NTH COMPILER::C1ASH COMPILER::C1FMLA-CONSTANT
         COMPILER::C2GO-CLB COMPILER::WT-CADR
         COMPILER::C1BOOLE-CONDITION COMPILER::CLINK COMPILER::VAR-NAME
         COMPILER::PUSH-ARGS-LISPCALL COMPILER::GET-ARG-TYPES
         COMPILER::BLK-VAR COMPILER::C1APPLY COMPILER::CHECK-DOWNWARD
         COMPILER::C1QUOTE COMPILER::TAG-REF-CLB
         COMPILER::GET-LOCAL-ARG-TYPES COMPILER::REGISTER
         COMPILER::BLK-P COMPILER::FUN-INFO COMPILER::C2RPLACD
         COMPILER::ADD-OBJECT2 COMPILER::C2TAGBODY-BODY
         COMPILER::T1DEFENTRY COMPILER::C1FUNCTION
         COMPILER::C1DOWNWARD-FUNCTION COMPILER::SAFE-SYSTEM
         COMPILER::C1GO COMPILER::BLK-EXIT COMPILER::VERIFY-DATA-VECTOR
         COMPILER::C2RPLACA COMPILER::T2DECLARE COMPILER::MACRO-DEF-P
         COMPILER::C1LABELS COMPILER::C1GETHASH COMPILER::FIX-OPT
         COMPILER::SCH-LOCAL-FUN COMPILER::C1FUNOB
         COMPILER::SET-PUSH-CATCH-FRAME COMPILER::GET-RETURN-TYPE
         COMPILER::SET-UP-VAR-CVS COMPILER::TAG-UNWIND-EXIT
         COMPILER::VAR-P COMPILER::C1ADD-GLOBALS COMPILER::TYPE-FILTER
         COMPILER::WT-VV COMPILER::C1ASH-CONDITION COMPILER::VOLATILE
         COMPILER::INLINE-BOOLE3-STRING COMPILER::C1LOCAL-CLOSURE
         COMPILER::WRITE-BLOCK-OPEN COMPILER::ADD-ADDRESS
         COMPILER::RESET-INFO-TYPE COMPILER::C1VALUES
         COMPILER::BLK-REF-CLB COMPILER::C1STACK-LET)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::*) COMMON-LISP::*)
         COMPILER::INLINE-BOOLE3)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T
                 (COMMON-LISP::INTEGER -9223372036854775808
                     9223372036854775807))
             COMMON-LISP::T)
         COMPILER::MEMOIZED-HASH-EQUAL)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::*)
         COMPILER::WT-INLINE-LOC COMPILER::NCONC-FILES
         COMPILER::COMPILER-BUILD COMPILER::C2BLOCK-LOCAL
         COMPILER::C2DECL-BODY COMPILER::C1SYMBOL-FUN COMPILER::C2BLOCK
         COMPILER::C1BODY COMPILER::C2RETURN-LOCAL)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T COMMON-LISP::*)
             COMMON-LISP::T)
         COMPILER::C1LAMBDA-EXPR COMPILER::CMPWARN COMPILER::ADD-INIT
         COMPILER::UNWIND-EXIT COMPILER::CMPNOTE COMPILER::CMPERR
         COMPILER::C1CASE COMPILER::WT-COMMENT COMPILER::INIT-NAME
         COMPILER::FAST-LINK-PROCLAIMED-TYPE-P COMPILER::WT-INTEGER-LOC
         COMPILER::WT-CVAR)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T)
             COMMON-LISP::*)
         COMPILER::C2IF COMPILER::WT-INLINE COMPILER::C2COMPILER-LET
         COMPILER::C2FLET COMPILER::C2LABELS)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::T
                 COMMON-LISP::T)
             COMMON-LISP::*)
         COMPILER::C2RETURN-FROM COMPILER::C2APPLY-OPTIMIZE
         COMPILER::C2DM COMPILER::C1DM-V COMPILER::C1DM-VL)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T COMMON-LISP::T COMMON-LISP::*)
             COMMON-LISP::*)
         COMPILER::T3DEFUN-AUX)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             ((COMMON-LISP::ARRAY COMMON-LISP::T (COMMON-LISP::*)))
             COMMON-LISP::T)
         COMPILER::COPY-ARRAY)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T
                 (COMMON-LISP::ARRAY COMMON-LISP::T (COMMON-LISP::*))
                 (COMMON-LISP::INTEGER -9223372036854775808
                     9223372036854775807)
                 (COMMON-LISP::INTEGER -9223372036854775808
                     9223372036854775807)
                 COMMON-LISP::T)
             COMMON-LISP::FIXNUM)
         COMPILER::BSEARCHLEQ)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION
             (COMMON-LISP::T
                 (COMMON-LISP::ARRAY COMMON-LISP::T (COMMON-LISP::*))
                 (COMMON-LISP::INTEGER -9223372036854775808
                     9223372036854775807)
                 COMMON-LISP::T)
             COMMON-LISP::FIXNUM)
         COMPILER::PUSH-ARRAY)) 
(COMMON-LISP::PROCLAIM
    '(COMMON-LISP::FTYPE
         (COMMON-LISP::FUNCTION (COMMON-LISP::T) COMMON-LISP::FIXNUM)
         COMPILER::F-TYPE))