A new standard C library without unbounded pointers would be a major improvement.

Including a more complete set of common operations (particularly string and vector operations) would be helpful as well.

etc.