void main () {
a = 9;
printf(a); }