Apparently std::cout < " is legal