((/centaur/vl/lint/disconnected.lisp::vl-modulelist-find-disconnected (nil nil nil nil (b*) nil nil) (((ans (vl-modulelist-find-disconnected-aux x)) ans) nil (clear-memoize-table) nil nil nil nil) (nil nil (quote) nil nil nil nil) ((vl-module-wirealist) 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)))