a = 13;
printf('a is %d\n',a);
b = a + 32