#include <util.hh>
A RAII helper that increments a counter on construction and decrements it on destruction.