{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
            // First, get the pointer. Remember it might be wide!
            // However we allow those that are just integers in disguise.
            let val = ecx.read_immediate(place).report_err()?;