An Implementation of Facebook's TAO