New file: lib/idcache.h