CCTK_VINFO("Refluxing level %d", level);
#warning "TODO"
  bool didprint = false;

      if (!didprint) {
        CCTK_VINFO("  found flux registers");
        didprint = true;
      }