{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"PointerUseAfterFree(_,"}]}
            PointerUseAfterFree(_, _) => const_eval_pointer_use_after_free,
            UnterminatedCString(_) => const_eval_unterminated_c_string,
            PointerOutOfBounds { .. } => const_eval_pointer_out_of_bounds,