/* $begin foo4 */
/* foo4.c */ 
#include <stdio.h>
void f(void);

int x; 
 
int main()  
{ 
    x = 15213; 
    f(); 
    printf("x = %d\n", x); 
    return 0;
} 
/* $end foo4 */