===========================================================
                                      .___ __  __   
          _________________  __ __  __| _/|__|/  |_ 
         / ___\_` __ \__  \ |  |  \/ __ | | \\_  __\
        / /_/  >  | \// __ \|  |  / /_/ | |  ||  |  
        \___  /|__|  (____  /____/\____ | |__||__|  
       /_____/            \/           \/           
              grep rough audit - static analysis tool
                  v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
stalin-0.11/benchmarks/boyer.sc-114-	((one-way-unify term (cadr (car lst)))
stalin-0.11/benchmarks/boyer.sc:115:	 (rewrite (apply-subst unify-subst (caddr (car lst)))))
stalin-0.11/benchmarks/boyer.sc-116-	(else (rewrite-with-lemmas term (cdr lst)))))
##############################################
stalin-0.11/benchmarks/dynamic-original.sc-2027-			    tv3))))
stalin-0.11/benchmarks/dynamic-original.sc:2028:  (cons 'caddr (forall4
stalin-0.11/benchmarks/dynamic-original.sc-2029-		(lambda (tv1 tv2 tv3 tv4)
##############################################
stalin-0.11/benchmarks/dynamic.sc-2041-			    tv3))))
stalin-0.11/benchmarks/dynamic.sc:2042:  (cons 'caddr (forall4
stalin-0.11/benchmarks/dynamic.sc-2043-		(lambda (tv1 tv2 tv3 tv4)
##############################################
stalin-0.11/benchmarks/nboyer.sc-415-	((one-way-unify term (cadr (car lst)))
stalin-0.11/benchmarks/nboyer.sc:416:	 (rewrite (apply-subst unify-subst (caddr (car lst)))))
stalin-0.11/benchmarks/nboyer.sc-417-	(else (rewrite-with-lemmas term (cdr lst)))))
##############################################
stalin-0.11/benchmarks/sboyer.sc-427-	((one-way-unify term (cadr (car lst)))
stalin-0.11/benchmarks/sboyer.sc:428:	 (rewrite (apply-subst unify-subst (caddr (car lst)))))
stalin-0.11/benchmarks/sboyer.sc-429-	(else (rewrite-with-lemmas term (cdr lst)))))
##############################################
stalin-0.11/benchmarks/run.text-96911- ((PRIMITIVE-PROCEDURE MAKE-STRUCTURE PAIR 2) 'CDADR (FORALL4 #))
stalin-0.11/benchmarks/run.text:96912: ((PRIMITIVE-PROCEDURE MAKE-STRUCTURE PAIR 2) 'CADDR (FORALL4 #))
stalin-0.11/benchmarks/run.text-96913- ((PRIMITIVE-PROCEDURE MAKE-STRUCTURE PAIR 2) 'CDDDR (FORALL4 #))
##############################################
stalin-0.11/benchmarks/run.text-96981-The following expression, dynamic-stalin.sc:2028:61871, allocates on the heap:
stalin-0.11/benchmarks/run.text:96982:((PRIMITIVE-PROCEDURE MAKE-STRUCTURE PAIR 2) 'CADDR (FORALL4 (LAMBDA # #)))
stalin-0.11/benchmarks/run.text-96983-The following expression, dynamic-stalin.sc:2031:61958, allocates on the heap:
##############################################
stalin-0.11/include/QobiScheme.sc-138-(define (sixth x) (cadr (cddddr x)))
stalin-0.11/include/QobiScheme.sc:139:(define (seventh x) (caddr (cddddr x)))
stalin-0.11/include/QobiScheme.sc-140-(define (eighth x) (cadddr (cddddr x)))
##############################################
stalin-0.11/include/QobiScheme.sc-142-(define (tenth x) (cadr (cddddr (cddddr x))))
stalin-0.11/include/QobiScheme.sc:143:(define (eleventh x) (caddr (cddddr (cddddr x))))
stalin-0.11/include/QobiScheme.sc-144-(define (twelfth x) (cadddr (cddddr (cddddr x))))