((/centaur/vl/loader/parse-ranges.lisp::vl-pretty-range (nil nil nil nil (list) nil nil) (nil nil (quote vl-pretty-expr vl-pretty-expr) nil nil nil nil) ((range) nil (vl-range->msb vl-range->lsb) nil nil nil nil) ((x x) 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)) (/centaur/vl/loader/parse-ranges.lisp::vl-pretty-maybe-range (nil nil nil nil (if) nil nil) (nil nil (not quote vl-pretty-range) nil nil nil nil) ((x no-range x) 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 nil)) (/centaur/vl/loader/parse-ranges.lisp::vl-pretty-range-list (nil nil nil nil (if) nil nil) ((nil) nil (consp) (cons) nil nil nil) ((x) nil (vl-pretty-range recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/centaur/vl/loader/parse-ranges.lisp::vl-pretty-maybe-range-list (nil nil nil nil (if) nil nil) ((nil) nil (consp) (cons) nil nil nil) ((x) nil (vl-pretty-maybe-range recursive-call) nil nil nil nil) (nil nil (car cdr) nil nil nil nil) ((x x) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)))