http://gcc.gnu.org/bugzilla/show_bug.cgi?id=48519 --- Comment #2 from Herbert <hilmar.ackermann at googlemail dot com> 2011-04-08 18:34:31 UTC --- it prints 206000. maybe the bug is already fixed in a newer version!? Which version have you? regards