Now also defined in C++