The behavior of the portable C compiler falls short of reason to assert that typedefs are not scoped. This debate is an old one. PCC is definitely in error.