Unfortunately C libraries aren't known for their use of strong typing or the "make invalid states unrepresentable" paradigm, and C itself is very weakly typed s

Unfortunately C libraries aren't known for their use of strong typing or the "make invalid states unrepresentable" paradigm, and C itself is very weakly typed so it's not even feasible to write strongly typesafe APIs in C.