Add Kevin's C++ backend