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