#include #include "DWEnd.hh" void DWEnd::Unveil(ostream & o) const { o<<"#enddef "<<_name<