{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"#[link_section"}]}
#[link_section = "__interrupt_vector_10"]
// (Alternatively, you can use `#[used]` and remove `pub` and `#[no_mangle]`)
#[no_mangle]