You are indeed correct.
It is not however as "simple" (!!!!!!!!!!!) as C++, since it's a Cat 1 related system for Safety purposes, it's written in an accredited language ie Ada '83.
Thanks for trying anyway... actually that's not my problem anymore anyway, I'd ask about the stuff we're currently struggling with, but I'd have to have you shot afterwards, and that makes a mess
AndyK