Pascal vs C

If you were to give a language like Python static typing and make it a compiled language instead of interpreted, you basically end up with something like Pascal. So how would you rate Pascal's abilities compared to C? I know dynamic typing requires runtime checking, but would it be possible to have dynamic typing in a compiled language like Pascal?

>>17,18
Assembly languages don't need runtime support, so comparatively any runtime is monstrous. But the point was that there is a lot of work being done by the runtime, and had nothing to do with the amount of space it bloats your binary by. Should I have said smelly instead? I should have said elephantine.