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'

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)