On 03/02/2013 12:23 AM, bearophile wrote: > Timon Gehr: > >> They are not different. > > Really? Sorry, I don't understand. > > Bye, > bearophile According to the spec the two outputs are the same.