{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"bx.store(next,"}]}
    bx.store(next, va_list_addr, ptr_align_abi);
    let next = bx.inbounds_ptradd(addr, full_direct_size);