Symbol: valid_va_range_aligned