Use printf instead of std::cout