On: NASA JPL C Coding Standard [pdf]

[jdpage]

These are guidelines for code which controls multi-million-dollar spacecraft. "No recursion" and "always predictable loop bounds" are also incredibly harsh, but they are helpful for verifying correctness.