really, we should just find an autoformatter for C that follows our conventions closely, and then just switch to using that style.