1 665c255d 2023-08-04 jrmu (defvar zero
2 665c255d 2023-08-04 jrmu   (lambda (f)
3 665c255d 2023-08-04 jrmu     (lambda (x) x)))