{"ast_node_type":"other","tokens":[{"end":89,"kind":"keyword","start":0,"text":"bx.inbounds_ptradd(va_list_addr,"}]}
        bx.inbounds_ptradd(va_list_addr, bx.cx.const_usize(2 * i64_offset + ptr_offset));
    let reg_save_area =