#include "section_id.hh"
template<enum section_id> class section;