// prms-id: 7180class String {public:   String(const char*);   ~String();}; String::String(const char* str = "") {} String::~String(void) {} int main() {   const String array[] = {"3"};}