Real-time GC is difficult, but not impossible. Harlequin did a real-time Common Lisp, with contractual limits on pause times. Nick B