void print(std::string text);