#include <stdio.h> int main (void) { int a = 3; printf ("Hello, world!\n"), a = 42; printf ("%d\n", a), return 0; }