{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
                // If codegen is aborted that means translation was aborted due
                // to some normal-ish compiler error. In this situation we want