{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":"UnknownCastPtrKind,"}]}
    UnknownCastPtrKind,
    UnknownExprPtrKind,
    /// Cast of int to (possibly) wide raw pointer.