C code? Nah, my friend, firmware is written in SPARK to achieve the highest possible quality. /s

(and yes it should have been written in it, arduous it is, it's a "you had one job" situation)