regenerated (on laptop)
manual patch of generated sources (Cast + ignore va_list function)