This is the redis source code with annotation