I was wondering if it was posible to insert new models privately compiled into an already compiled kernel, with recompiling it? If so, how is it done? michf@math.tau.ac.il