int may be too small for a size_t on some systems.