static void json_line_uint256(FILE *f, int indent, const char *key, const uint256 &value) { do_indent(f, indent); fprintf(f, "%s: \"%s\",\n", key, value.to_string().raw()); }