Google's Mako kernel for the Gee