For one, C has types and type-checking.