Well, to clarify, that's the coding standard for the Air Vehicle (in other words, the airplane itself). That does not apply to ALIS (although there's nothing stopping them from using those coding guidelines if they really wish, I guess). I have no idea what ALIS is written in.