{"ast_node_type":"import","tokens":[{"end":87,"kind":"keyword","start":0,"text":"//"}]}
    // The bottom state denotes uninitialized memory. Because we are only doing a sound
    // approximation of the actual execution, we can also use this state for places where access