> > 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 printing. > > Why not use ptrdiff_t? See next commit... Sorry for the noise. - Håvard