Switch from C++ to Nimrod