> > Log Message:
> > The type for pointer difference varies between ports, on some it's
> > "long int" and on others "int", so cast via long and use %ld for pr=
inting.
>
> Why not use ptrdiff_t?

See next commit...  Sorry for the noise.

- H=E5vard