{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
// We can always fallback on highlighting the first. But chances are good that
//
// the user experience will be better if we highlight one of the others if possible;