Symbol
R$INTFX
Definition
16251
0774 00 4 00000
8239
INTFX
AXT
**,4
Uses
16243
0634 00 4 16251
8233
SXA
INTFX
,4 (LAMBDA (L) (CONS (CAR L) NIL))