1 665c255d 2023-08-04 jrmu (defun make-segment (start end)
2 665c255d 2023-08-04 jrmu   (cons start end))