Sun's official reaction is that this isn't a bug, it's a feature.
You see, in this Pascal compiler, all top-level identifiers are
*automatically* also top-level C identifiers. Fortunately, the -s1
option (ISO 7185 level 1) option *now* gives the right answer:

y% pc -s1 foo.pas
y% a.out
TRUE

At the time when I was using Pascal in a course, this apparently
didn't help, and it confused the heck out of the several students
who innocently ran into it.

The compiler otherwise has a lot to commend it. I particularly like
the -Rw option. I wish it supported a few features from the current
standard, though (modules, instead of leaking into C, would be at the
top of the list).