{"ast_node_type":"import","tokens":[{"end":99,"kind":"keyword","start":0,"text":"//"}]}
            // all other casts including int-to-ptr casts are fine, they just use the integer value
            // at pointer type.