{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"//"}]}
    // Scan the input string for a character in the ordered table above.
    }
    // If it's present, replace it with its alternative string (it can be more than 1 char!).