> I think the easiest solution to the whole problem would be to internally
> translate a "inc(v,d)" to "v := v + d", at least in {$r+,q+} checked code.
Please take a look at the sources of fpc before writing something how the
compiler should handle things. See ninl.pas starting at line 2148.