Whitesmiths Ltd. (Concord, MA) markets a Pascal-to-C translator. I looked at the code it generates and it is a good job, but naturally not as "human readable" as one might wish for.