Use regular C, but write the code in literate programming files which can be rendered into a portable design document describing the implementation and interact

Use regular C, but write the code in literate programming files which can be rendered into a portable design document describing the implementation and interaction of every subsystem in the codebase. 'Standard written English' is the best language available for modeling abstractions.