texture_freelist_bytes += estimate_texture_size(texture_formats[texture_num]);
while (texture_freelist_bytes > texture_freelist_max_bytes) {
texture_freelist_bytes += estimate_texture_size(texture_formats[texture_num]);
while (texture_freelist_bytes > texture_freelist_max_bytes) {
assert(texture_formats.count(free_texture_num) != 0);
texture_freelist_bytes -= estimate_texture_size(texture_formats[free_texture_num]);
texture_formats.erase(free_texture_num);
assert(texture_formats.count(free_texture_num) != 0);
texture_freelist_bytes -= estimate_texture_size(texture_formats[free_texture_num]);
texture_formats.erase(free_texture_num);