{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"//"}]}
    // otherwise it must come from va_stk.
    // Thus if va_ndx is less than 24, the next va_arg *may* read from va_reg,
    //