{"ast_node_type":"variable","tokens":[{"end":83,"kind":"keyword","start":0,"text":"let"}]}
    let offset_corrected = bx.select(needs_correction, stack_offset_start, offset);
    let needs_correction = bx.icmp(IntPredicate::IntULE, offset, stack_offset_start);