Yeah, so there are a lot of things we could optimize for on different kernels, but we prefer to not do so, until we have a really good reason. As I said above,

Yeah, so there are a lot of things we could optimize for on different kernels, but we prefer to not do so, until we have a really good reason. As I said above, it is not obvious to me that we would gain much over what we already do, but I am keeping an eye on it.