Sorry, my C is a bit too weak to follow I think :)  I would naively say it should print "x=1"...  but I take it there is something non-obvious in my for loop that I'm also missing.  Could you help me out a bit more?