If you reason about functional code with appropriate assumptions: they don't lie. A big part of functional programming is making code easier to reason about in isolation.

If you want good procedural C code, read Lua. That shit is polished.