{"#.name .<flush>",[&]{
  std::clog << "#.name .<flush>" << std::endl;
  c.dzn_rt.flush(&c);
}}