preparing for const, final, and invariant

[Walter Bright]

Manuel König wrote:
> I think he is concerning to the scope rule. When 'f' gets called with 
> 'g' as param, then 'a' has implicitly a reference to 'g', namely in 
> a[0]. This would be a violation of the scope rule.

Passing things through void* is a way of escaping the type checking, and 
if you break the rules by doing so, your program might break.