(define-syntax (set-strictness-vars)
   (let ((res '()))
     (dotimes (i *pre-defined-strictness-vars*)
        (push `(setf (dynamic ,(vector-ref *pre-defined-strictness-names* i))
 		    (vector-ref *pre-defined-strictness-table* ',i))
 	     res))
     `(begin ,@res)))
 
 (define-syntax (setup-gtyvar-vars)
  (let ((res '()))
    (dotimes (i *num-saved-gtyvars*)
      (push `(setf (dynamic ,(vector-ref *saved-gtyvar-varnames* i))
 		  (vector-ref *saved-gtyvars* ',i))
 	   res))
    `(begin ,@res)))
 
 (define-syntax (assq/insert x table)
   `(let ((res (assq ,x ,table)))
      (if (eqv? res '#f)
 	 (begin
 	   (let ((new-pair (cons ,x '#f)))
 	     (push new-pair ,table)
 	     new-pair))
 	 res)))
 
 (define-syntax (assq/insert-l x table)
   `(let ((res (assq ,x ,table)))
      (if (eqv? res '#f)
 	 (begin
 	   (let ((new-pair (cons ,x '())))
 	     (push new-pair ,table)
 	     new-pair))
 	 res)))