portable size_t cast for printing