{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
            // Like regular ints, alternate flag adds leading `0x`.
        if f.alternate() {
            write!(f, "0x")?;