// to delete the file object. Otherwise we'd delete just the cached frames
// while the list of open files grew.
void set_cache_frames(int value);
// to delete the file object. Otherwise we'd delete just the cached frames
// while the list of open files grew.
void set_cache_frames(int value);