{"ast_node_type":"other","tokens":[{"end":90,"kind":"keyword","start":0,"text":"//"}]}
        // We do this by casting to a `*i8`, then offsetting it by the appropriate amount.
        // We need to get the pointer manually now.
        // We do this instead of, say, simply adjusting the pointer from the result of a GEP