writeSize is a memory size and its type should thus be size_t.  This
allows us to remove two explicit casts.