{"ast_node_type":"variable","tokens":[{"end":62,"kind":"keyword","start":0,"text":"let"}]}
            let val = ecx.read_immediate(place).report_err()?;
            // First, get the pointer. Remember it might be wide!
            // We could allow wide raw pointers where both sides are integers in the future,