put_port_name(const char *port_name, struct ds *s)
{
    if (port_name_needs_quotes(port_name)) {
        json_string_escape(port_name, s);
    } else {
        ds_put_cstr(s, port_name);
    }
}
put_port_name(const char *port_name, struct ds *s)
{
    if (port_name_needs_quotes(port_name)) {
        json_string_escape(port_name, s);
    } else {
        ds_put_cstr(s, port_name);
    }
}