let dblq_node_id s = node_id (Double_quoted_id s)