Symbol: va_range_init