{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"bx.inbounds_ptradd(va_list_addr,"}]}
        bx.inbounds_ptradd(va_list_addr, bx.const_usize(1)) // fpr
    } else {
    };