{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
    // First replace backslash-escaped backslashes with forward slashes
    // Let's not deal with / vs \ (windows...)
    // which can occur in, for example, JSON output