void write_bool(const std::string& name, bool value);
void write_int_vector(const std::string& name, const std::vector<int>& value);
void write_int_vector(const std::string& name, const std::vector<unsigned int>& value);
void write_bool(const std::string& name, bool value);
void write_int_vector(const std::string& name, const std::vector<int>& value);
void write_int_vector(const std::string& name, const std::vector<unsigned int>& value);