Achieving a 232x speedup on a kernel via automated tooling is an incredible engineering feat. Fascinating read on optimization.