An experimental kernel in C++