_argptr woes -- RFC from Walter

[kris]

kris wrote:
>>>>>> The D spec says:
>>>>>>
>>>>>> "The implementiations of these variadic functions have a special 
>>>>>> local variable declared for them, _argptr, which is a void* 
>>>>>> pointer to the first of the variadic arguments. To access the 
>>>>>> arguments, _argptr must be cast to a pointer to the expected 
>>>>>> argument type"
>>>>>>
>>>>>>
>>>>>> To me, this means that a D compiler must implement _argptr in 
>>>>>> these terms. Is that indeed the case, Walter? Or is my 
>>>>>> interpretation incorrect?
[snip]

is it really too much to ask for a simple confirmation on the above?