class SystemHeader: public Header
{
public:
SystemHeader(Builder &b, const std::string &f): Header(b,0,f) { }
const char *get_type() const { return "SystemHeader"; }
class SystemHeader: public Header
{
public:
SystemHeader(Builder &b, const std::string &f): Header(b,0,f) { }
const char *get_type() const { return "SystemHeader"; }