Don't use @va_arg@ as an argument to @STORE32@!