{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
    // Check out the `#[rustc_abi(..)]` attribute to tell what to dump.
    // The `..` are the names of fields to dump.