Correct type of various printf arguments: ptrdiff_t != int