{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"//"}]}
    // update va_ndx
    let offset_next_corrected = bx.add(offset_next, bx.const_i32(slot_size));
    bx.store(offset_next_corrected, offset_ptr, ptr_align_abi);