Proper format for size_t