{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"///"}]}
    /// integer arithmetic is done on {sign,zero}-extended registers, e.g.
    /// but some ABIs are described in terms of C types and ISAs where the
    /// a negative integer passed by zero-extension will appear positive in