Yeah except there are certified versions of AES written in C. Which makes your point what exactly?