{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
        // assuming here that we don't have to escape every character...
        // poor-man's guess as to how long our command line will be. We're
        //