Print summary information (e.g., warnings, numbers of modules loaded, etc.) after modules have been loaded.
This is attachable. By default we print a rather elaborate report that says how many modules were loaded. Depending on the tool you are building you might want to attach some other kind of report here.
(encapsulate (((vl-load-summary * *) => * :formals (config result) :guard (and (vl-loadconfig-p config) (vl-loadresult-p result)))) (local (value-triple :elided)))