Re: curious printf bug