Hello, the csmith sources contain many ‘using namespace std’ declarations. Nevertheless many (most?) uses of standard components in csmith are fully qualified, e.g., std::vector. I think it would be preferable to decide on whether to stop relying on the 'using namespace std’ declaration or stop qualifying things with std:: . Regards Jens