let
dblq_node_id s = node_id (
Double_quoted_id
s)