A Redis-backed URL Shortener in C