(~P=NP) ATM -> C++, for legacy headless modes.