for the above code "printf("%d %d");" you will get the output as 0 0 and not 20 10.
I have validated the same on VS2005.
If you are getting outpur as 20 10 then you must have used "printf("%d %d", b , a);" for sure. DFo validate your code please.