( DEFPROP BIGINIT ( LAMBDA NIL ( PROG NIL ( PUTSYM ( VBASE ( GET ( QUOTE BASE ) ( QUOTE VALUE ) ) ) NEGNUM POSNUM FIXNUM FLONUM ( MINUSP ( GET ( QUOTE MINUSP ) ( QUOTE SUBR ) ) ) ( VNOPOI ( GET ( QUOTE *NOPOINT ) ( QUOTE VALUE ) ) ) ) ) ) EXPR )