12345678
int main () { char *line = "short line for testing"; // with no arguments string s1; s1 = "Anatoliy";
fileOutName = "socout.dat";