Make sure to check if the code is using the Metric or Imperial system for measurement. That is caused plenty of fuck-up's. Archive: https://archive.today/Wz0VE From the post: >>Those rules were written from the point of view of people writing embedded software for extremely expensive spacecraft, where tolerating a lot of programming pain is a good tradeoff for not losing a mission. I do not know why someone in that situation does not use the SPARK subset of Ada, which subset was explicitly designed for verification, and is simply a better starting point for embedded programming than C.