(define *num-saved-gtyvars* 19)
(define *pre-defined-strictness-size* 7)  ; length of max strictness list
(define *pre-defined-strictness-table* '())
(define *pre-defined-strictness-vars* 32) ; number of global vars
(define *pre-defined-strictness-names*
  (make-vector *pre-defined-strictness-vars*))

(dotimes (i *pre-defined-strictness-vars*)
     (setf (vector-ref *pre-defined-strictness-names* i)
	   (string->symbol (format '#f "SAVED-STRICTNESS-~A" i))))

(define *saved-gtyvars* '())
(define *saved-gtyvar-varnames* (make-vector *num-saved-gtyvars*))
(dotimes (i *num-saved-gtyvars*)
  (setf (vector-ref *saved-gtyvar-varnames* i)
	(string->symbol (format '#f "SAVED-GTYVAR-NAME~A" i))))