Implement __builtin_va_start and __builtin_va_arg for stdarg like functionality.