;;; -*- Mode:LISP; Package:K-KBUG; Base:10; Readtable:CL -*-

(defparameter *my-warm-files*
	      '(
		"jb:k.math;bignum"
		"jb:youcef.k;array2"
		"jb:youcef.k;sysconf"
		"jb:youcef.k;config-defs"
		"jb:youcef.k;config"
		
		
		)
  )