_argptr woes

[kris]

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?