((/arithmetic-5/lib/basic-ops/we-are-here.lisp::boil-that-dustspeck (nil nil nil nil (if) nil nil) ((speck) nil (not) (<) nil nil nil) ((horton speck) (17) nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))