As seen in Jeff Dean's twitter feed [1] ;). But seriously, this was a lot of fun. We'll have the code up very soon - just need to clean up a few things.<p>[1] <a href="https://twitter.com/JeffDean/status/1054951415339192321" rel="nofollow">https://twitter.com/JeffDean/status/1054951415339192321</a>