🚀 go-pugleaf

Is the following valid C?

#include <stdio.h>
#include <stdlib.h>

char *a;
void printit()
{
    printf("%s",a);
}

int main()
{
    char buffer[]="Hello, world!\n";
    a = buffer;
    atexit(printit);
    return 0;
}

6.1.2.4 tells me it isn't, but 5.1.2.2.3 tells me that a return from the
initial call to main() is equivalent to an exit(), and I don't see a problem
when I replace the 'return 0' above with an 'exit(0)'.
-- 
Thomas Koenig, Thomas.Koenig@ciw.uni-karlsruhe.de, ig25@dkauni2.bitnet.
The joy of engineering is to find a straight line on a double
logarithmic diagram.