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?

>>26
How about you point out these required features?

I've compiled a CL MD5 library to pure asm since all the arith/logic ops get inlined. You can do the same in C, just as easily.
If I were to take out those code objects, I could reuse them from other applications, just like native ASM code.