dpkg (dpkg -l gcc-4.3) reports that 4.3.3-3 is installed.
The latest entry in /var/log/apt/term reports 4:4.3.3-2 were set up.
To add to my confusion, I seem to remember that the head of /usr/share/doc/gcc-4.3/changelog.Debian.gz pointed to 4.3.3-3 before the mentioned entry in var/log/apt/term.
How can it be?