avoid empty procedures - keep Top-namespace clean (a start)
doc: example watchdog, ring-indep.