 val, Formatter *f) {   f->dump_int(name, val); }  void encode_xml(const char *name, long val, Formatter *f) {   f->dump_int(name, val); }  void encode_xml(const char *name, unsigned val, Formatter *f) {   f->dump_unsigned(name, val); }  void encode_xml(const char *name, unsigned long val, Formatter *f) {   f->dump_unsigned(name, val); }  void encode_xml(const char *name, unsigned long long val, Formatter *f) {   f->dump_unsigned(name, val); }  void encode_xml(const char *name, long long val, Formatter *f) {   f->dump_int(name, val); }  void encode_xml(const char *name, const 