#procedure(##cprc-top)
#return(##cprc-top 1) : ($code rte)
#return(##cprc-top 2) : ($code rte)

#procedure(##cprc-cst)
#return(##cprc-cst 1) : ($code rte)
#procedure(##cprc-cst 2)

#procedure(##cprc-loc-ref-0-1)
#return(##cprc-loc-ref-0-1 1) : ($code rte)
#procedure(##cprc-loc-ref-0-1 2)

#procedure(##cprc-loc-ref-0-2)
#return(##cprc-loc-ref-0-2 1) : ($code rte)
#procedure(##cprc-loc-ref-0-2 2)

#procedure(##cprc-loc-ref-0-3)
#return(##cprc-loc-ref-0-3 1) : ($code rte)
#procedure(##cprc-loc-ref-0-3 2)

#procedure(##cprc-loc-ref-1-1)
#return(##cprc-loc-ref-1-1 1) : ($code rte)
#procedure(##cprc-loc-ref-1-1 2)

#procedure(##cprc-loc-ref-1-2)
#return(##cprc-loc-ref-1-2 1) : ($code rte)
#procedure(##cprc-loc-ref-1-2 2)

#procedure(##cprc-loc-ref-1-3)
#return(##cprc-loc-ref-1-3 1) : ($code rte)
#procedure(##cprc-loc-ref-1-3 2)

#procedure(##cprc-loc-ref-2-1)
#return(##cprc-loc-ref-2-1 1) : ($code rte)
#procedure(##cprc-loc-ref-2-1 2)

#procedure(##cprc-loc-ref-2-2)
#return(##cprc-loc-ref-2-2 1) : ($code rte)
#procedure(##cprc-loc-ref-2-2 2)

#procedure(##cprc-loc-ref-2-3)
#return(##cprc-loc-ref-2-3 1) : ($code rte)
#procedure(##cprc-loc-ref-2-3 2)

#procedure(##cprc-loc-ref)
#return(##cprc-loc-ref 1) : ($code rte)
#procedure(##cprc-loc-ref 2)

#procedure(##cprc-loc-ref-box)
#return(##cprc-loc-ref-box 1) : ($code rte)
#procedure(##cprc-loc-ref-box 2)

#procedure(##cprc-glo-ref)
#return(##cprc-glo-ref 1) : ($code rte)
#procedure(##cprc-glo-ref 2)
#return(##cprc-glo-ref 3) : ($code rte)

#procedure(##cprc-loc-set)
#return(##cprc-loc-set 1) : ($code rte)
#return(##cprc-loc-set 2) : ($code rte)
#procedure(##cprc-loc-set 3)

#procedure(##cprc-loc-set-box)
#return(##cprc-loc-set-box 1) : ($code rte)
#return(##cprc-loc-set-box 2) : ($code rte)
#procedure(##cprc-loc-set-box 3)

#procedure(##cprc-glo-set)
#return(##cprc-glo-set 1) : ($code rte)
#return(##cprc-glo-set 2) : ($code rte)
#procedure(##cprc-glo-set 3)
#return(##cprc-glo-set 4) : ($code rte)

#procedure(##cprc-glo-def)
#return(##cprc-glo-def 1) : ($code rte)
#return(##cprc-glo-def 2) : ($code rte)
#procedure(##cprc-glo-def 3)

#procedure(##cprc-if2)
#return(##cprc-if2 1) : ($code rte)
#return(##cprc-if2 2) : ($code rte)

#procedure(##cprc-if3)
#return(##cprc-if3 1) : ($code rte)
#return(##cprc-if3 2) : ($code rte)

#procedure(##cprc-seq)
#return(##cprc-seq 1) : ($code rte)
#return(##cprc-seq 2) : ($code rte)

#procedure(##cprc-quasi-list->vector)
#return(##cprc-quasi-list->vector 1) : ($code rte)
#return(##cprc-quasi-list->vector 2) : ($code rte)

#procedure(##cprc-quasi-append)
#return(##cprc-quasi-append 1) : ($code rte)
#return(##cprc-quasi-append 2) : ($code rte)
#return(##cprc-quasi-append 3) : ($code rte val1)

#procedure(##cprc-quasi-cons)
#return(##cprc-quasi-cons 1) : ($code rte)
#return(##cprc-quasi-cons 2) : ($code rte)
#return(##cprc-quasi-cons 3) : ($code rte val1)
#return(##cprc-quasi-cons 4) : ($code rte)

#procedure(##cprc-cond-if)
#return(##cprc-cond-if 1) : ($code rte)
#return(##cprc-cond-if 2) : ($code rte)

#procedure(##cprc-cond-or)
#return(##cprc-cond-or 1) : ($code rte)
#return(##cprc-cond-or 2) : ($code rte)

#procedure(##cprc-cond-send-red)
#return(##cprc-cond-send-red 1) : ($code rte)
#return(##cprc-cond-send-red 2) : ($code rte)
#return(##cprc-cond-send-red 3) : ($code pred rte)
#procedure(##cprc-cond-send-red 4)
#return(##cprc-cond-send-red 5) : ($code oper rte)
#return(##cprc-cond-send-red 6) : ($code rte)

#procedure(##cprc-cond-send-sub)
#return(##cprc-cond-send-sub 1) : ($code rte)
#return(##cprc-cond-send-sub 2) : ($code rte)
#return(##cprc-cond-send-sub 3) : ($code pred rte)
#return(##cprc-cond-send-sub 4) : ($code oper rte)
#return(##cprc-cond-send-sub 5) : ($code rte)

#procedure(##cprc-or)
#return(##cprc-or 1) : ($code rte)
#return(##cprc-or 2) : ($code rte)

#procedure(##cprc-and)
#return(##cprc-and 1) : ($code rte)
#return(##cprc-and 2) : ($code rte)

#procedure(##cprc-case)
#return(##cprc-case 1) : ($code rte)
#return(##cprc-case 2) : ($code rte)
#return(##cprc-case 3) : ($code rte)

#procedure(##cprc-case-clause)
#return(##cprc-case-clause 1) : ($code rte)
#return(##cprc-case-clause 2) : ($code rte)

#procedure(##cprc-case-else)
#return(##cprc-case-else 1) : ($code rte)

#procedure(##cprc-let)
#return(##cprc-let 1) : ($code rte)
#return(##cprc-let 2) : ($code args i ns rte)
#return(##cprc-let 3) : ($code i ns rte)
#return(##cprc-let 4) : ($code args ns rte)

#procedure(##cprc-letrec)
#return(##cprc-letrec 1) : ($code rte)
#return(##cprc-letrec 2) : ($code ns rte)
#return(##cprc-letrec 3) : ($code i inner-rte ns rev-vals rte)
#return(##cprc-letrec 4) : ($code i inner-rte ns rte)

#procedure(##cprc-letrec*)
#return(##cprc-letrec* 1) : ($code rte)
#return(##cprc-letrec* 2) : ($code ns rte)
#return(##cprc-letrec* 3) : ($code i inner-rte ns rte)

#procedure(##cprc-prc-req0)
#return(##cprc-prc-req0 1) : ($code rte)
#procedure(##cprc-prc-req0 2)
#return(##cprc-prc-req0 3) : ($code proc rte)
#procedure(##cprc-prc-req0 4)
#return(##cprc-prc-req0 5) : ($code rte)
#return(##cprc-prc-req0 6) : ($code arg1-and-up entry-hook exec proc rte)
#procedure(##cprc-prc-req0 7)
#return(##cprc-prc-req0 8) : ($code rte)

#procedure(##cprc-prc-req1)
#return(##cprc-prc-req1 1) : ($code rte)
#procedure(##cprc-prc-req1 2)
#return(##cprc-prc-req1 3) : ($code proc rte)
#procedure(##cprc-prc-req1 4)
#return(##cprc-prc-req1 5) : ($code proc rte)
#return(##cprc-prc-req1 6) : ($code rte)
#return(##cprc-prc-req1 7) : ($code arg1 arg2-and-up args entry-hook exec proc rte)
#procedure(##cprc-prc-req1 8)
#return(##cprc-prc-req1 9) : ($code proc rte)
#return(##cprc-prc-req1 10) : ($code rte)

#procedure(##cprc-prc-req2)
#return(##cprc-prc-req2 1) : ($code rte)
#procedure(##cprc-prc-req2 2)
#return(##cprc-prc-req2 3) : ($code proc rte)
#procedure(##cprc-prc-req2 4)
#return(##cprc-prc-req2 5) : ($code proc rte)
#return(##cprc-prc-req2 6) : ($code proc rte)
#return(##cprc-prc-req2 7) : ($code rte)
#return(##cprc-prc-req2 8) : ($code arg1 arg2 arg3-and-up args entry-hook exec proc rte)
#procedure(##cprc-prc-req2 9)
#return(##cprc-prc-req2 10) : ($code proc rte)
#return(##cprc-prc-req2 11) : ($code proc rte)
#return(##cprc-prc-req2 12) : ($code rte)

#procedure(##cprc-prc-req3)
#return(##cprc-prc-req3 1) : ($code rte)
#procedure(##cprc-prc-req3 2)
#return(##cprc-prc-req3 3) : ($code proc rte)
#procedure(##cprc-prc-req3 4)
#return(##cprc-prc-req3 5) : ($code proc rte)
#return(##cprc-prc-req3 6) : ($code proc rte)
#return(##cprc-prc-req3 7) : ($code proc rte)
#return(##cprc-prc-req3 8) : ($code rte)
#return(##cprc-prc-req3 9) : ($code arg1 arg2 arg3 arg4-and-up args entry-hook exec proc rte)
#procedure(##cprc-prc-req3 10)
#return(##cprc-prc-req3 11) : ($code proc rte)
#return(##cprc-prc-req3 12) : ($code proc rte)
#return(##cprc-prc-req3 13) : ($code proc rte)
#return(##cprc-prc-req3 14) : ($code rte)

#procedure(##cprc-prc-req)
#return(##cprc-prc-req 1) : ($code rte)
#procedure(##cprc-prc-req 2)
#return(##cprc-prc-req 3) : ($code proc rte)
#procedure(##cprc-prc-req 4)
#procedure(##cprc-prc-req 5)
#return(##cprc-prc-req 6) : ($code args ns proc rte)
#return(##cprc-prc-req 7) : ($code args entry-hook exec proc rte)

#procedure(##cprc-prc-rest)
#return(##cprc-prc-rest 1) : ($code rte)
#procedure(##cprc-prc-rest 2)
#return(##cprc-prc-rest 3) : ($code proc rte)
#procedure(##cprc-prc-rest 4)
#procedure(##cprc-prc-rest 5)
#return(##cprc-prc-rest 6) : ($code args ns proc rte)
#return(##cprc-prc-rest 7) : ($code args entry-hook exec proc rte)

#procedure(##cprc-prc)
#return(##cprc-prc 1) : ($code rte)
#procedure(##cprc-prc 2)
#return(##cprc-prc 3) : ($code proc rte)
#procedure(##cprc-prc 4)
#procedure(##cprc-prc 5)
#return(##cprc-prc 6) : ($code args n proc rte)
#return(##cprc-prc 7) : ($code args i inner-rte j n proc rte)
#return(##cprc-prc 8) : ($code end i inner-rte j k keys left rest? rte)
#return(##cprc-prc 9) : ($code args entry-hook exec proc rte)

#procedure(##cprc-app0-red)
#return(##cprc-app0-red 1) : ($code rte)
#return(##cprc-app0-red 2) : ($code rte)
#procedure(##cprc-app0-red 3)
#return(##cprc-app0-red 4) : ($code rte)

#procedure(##cprc-app1-red)
#return(##cprc-app1-red 1) : ($code rte)
#return(##cprc-app1-red 2) : ($code rte)
#return(##cprc-app1-red 3) : ($code oper rte)
#procedure(##cprc-app1-red 4)
#return(##cprc-app1-red 5) : ($code oper rte)
#return(##cprc-app1-red 6) : ($code rte)

#procedure(##cprc-app2-red)
#return(##cprc-app2-red 1) : ($code rte)
#return(##cprc-app2-red 2) : ($code rte)
#return(##cprc-app2-red 3) : ($code oper rte)
#return(##cprc-app2-red 4) : ($code arg1 oper rte)
#procedure(##cprc-app2-red 5)
#return(##cprc-app2-red 6) : ($code oper rte)
#return(##cprc-app2-red 7) : ($code rte)

#procedure(##cprc-app3-red)
#return(##cprc-app3-red 1) : ($code rte)
#return(##cprc-app3-red 2) : ($code rte)
#return(##cprc-app3-red 3) : ($code oper rte)
#return(##cprc-app3-red 4) : ($code arg1 oper rte)
#return(##cprc-app3-red 5) : ($code arg1 arg2 oper rte)
#procedure(##cprc-app3-red 6)
#return(##cprc-app3-red 7) : ($code oper rte)
#return(##cprc-app3-red 8) : ($code rte)

#procedure(##cprc-app4-red)
#return(##cprc-app4-red 1) : ($code rte)
#return(##cprc-app4-red 2) : ($code rte)
#return(##cprc-app4-red 3) : ($code oper rte)
#return(##cprc-app4-red 4) : ($code arg1 oper rte)
#return(##cprc-app4-red 5) : ($code arg1 arg2 oper rte)
#return(##cprc-app4-red 6) : ($code arg1 arg2 arg3 oper rte)
#procedure(##cprc-app4-red 7)
#return(##cprc-app4-red 8) : ($code oper rte)
#return(##cprc-app4-red 9) : ($code rte)

#procedure(##cprc-app-red)
#return(##cprc-app-red 1) : ($code rte)
#return(##cprc-app-red 2) : ($code rte)
#return(##cprc-app-red 3) : ($code i oper rev-args rte)
#return(##cprc-app-red 4) : ($code i oper rte)
#return(##cprc-app-red 5) : ($code oper rte)
#procedure(##cprc-app-red 6)
#return(##cprc-app-red 7) : ($code rte)

#procedure(##cprc-app0-sub)
#return(##cprc-app0-sub 1) : ($code rte)
#return(##cprc-app0-sub 2) : ($code rte)
#return(##cprc-app0-sub 3) : ($code rte)

#procedure(##cprc-app1-sub)
#return(##cprc-app1-sub 1) : ($code rte)
#return(##cprc-app1-sub 2) : ($code rte)
#return(##cprc-app1-sub 3) : ($code oper rte)
#return(##cprc-app1-sub 4) : ($code oper rte)
#return(##cprc-app1-sub 5) : ($code rte)

#procedure(##cprc-app2-sub)
#return(##cprc-app2-sub 1) : ($code rte)
#return(##cprc-app2-sub 2) : ($code rte)
#return(##cprc-app2-sub 3) : ($code oper rte)
#return(##cprc-app2-sub 4) : ($code arg1 oper rte)
#return(##cprc-app2-sub 5) : ($code oper rte)
#return(##cprc-app2-sub 6) : ($code rte)

#procedure(##cprc-app3-sub)
#return(##cprc-app3-sub 1) : ($code rte)
#return(##cprc-app3-sub 2) : ($code rte)
#return(##cprc-app3-sub 3) : ($code oper rte)
#return(##cprc-app3-sub 4) : ($code arg1 oper rte)
#return(##cprc-app3-sub 5) : ($code arg1 arg2 oper rte)
#return(##cprc-app3-sub 6) : ($code oper rte)
#return(##cprc-app3-sub 7) : ($code rte)

#procedure(##cprc-app4-sub)
#return(##cprc-app4-sub 1) : ($code rte)
#return(##cprc-app4-sub 2) : ($code rte)
#return(##cprc-app4-sub 3) : ($code oper rte)
#return(##cprc-app4-sub 4) : ($code arg1 oper rte)
#return(##cprc-app4-sub 5) : ($code arg1 arg2 oper rte)
#return(##cprc-app4-sub 6) : ($code arg1 arg2 arg3 oper rte)
#return(##cprc-app4-sub 7) : ($code oper rte)
#return(##cprc-app4-sub 8) : ($code rte)

#procedure(##cprc-app-sub)
#return(##cprc-app-sub 1) : ($code rte)
#return(##cprc-app-sub 2) : ($code rte)
#return(##cprc-app-sub 3) : ($code i oper rev-args rte)
#return(##cprc-app-sub 4) : ($code i oper rte)
#return(##cprc-app-sub 5) : ($code oper rte)
#procedure(##cprc-app-sub 6)
#return(##cprc-app-sub 7) : ($code rte)

#procedure(##cprc-delay)
#return(##cprc-delay 1) : ($code rte)
#procedure(##cprc-delay 2)
#return(##cprc-delay 3) : ($code rte)
#procedure(##cprc-delay 4)

#procedure(##cprc-future)
#return(##cprc-future 1) : ($code rte)
#procedure(##cprc-future 2)
#return(##cprc-future 3) : ($code rte)
#return(##cprc-future 4) : ($code rte)

#procedure(##subproblem-apply0)
#procedure(##subproblem-apply0 1)
#return(##subproblem-apply0 2) : ($code rte)

#procedure(##subproblem-apply1)
#procedure(##subproblem-apply1 1)
#return(##subproblem-apply1 2) : ($code rte)

#procedure(##subproblem-apply2)
#procedure(##subproblem-apply2 1)
#return(##subproblem-apply2 2) : ($code rte)

#procedure(##subproblem-apply3)
#procedure(##subproblem-apply3 1)
#return(##subproblem-apply3 2) : ($code rte)

#procedure(##subproblem-apply4)
#procedure(##subproblem-apply4 1)
#return(##subproblem-apply4 2) : ($code rte)

#procedure(##subproblem-apply)
#procedure(##subproblem-apply 1)
#return(##subproblem-apply 2) : ($code rte)

#procedure(##step-handler)
#return(##step-handler 1) : ($code execute-body leapable? other rte)
#return(##step-handler 2) : ($code execute-body leapable? other rte)

