restore_toplevel_attr
return restore_toplevel_attr(attribute, txt);
static int restore_toplevel_attr(const char *attribute, char *txt);