{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
//  E0776, // Removed; `#[cmse_nonsecure_entry]` is now `extern "cmse-nonsecure-entry"`
//  E0744, // merged into E0728
//  E0796, // unused error code. We use `static_mut_refs` lint instead.