fix int <-> size_t