An Embedded Implementation of Redis