debug: added cheap debug includes and output with std::cout