    char s[80];     /*  C has no real string objects  */
