{"ast_node_type":"other","tokens":[{"end":93,"kind":"keyword","start":0,"text":"//"}]}
    // The first 24 bytes (equivalent to 6 registers) come from va_reg, the rest from va_stk.
    //
    // Thus if va_ndx is less than 24, the next va_arg *may* read from va_reg,