This is shared with languages from ALGOL linage like Ada, Object Pascal, Modula-2 and others.

Hence why from C culture point of view they used to be referred to as programming with straightjacket.

An insight into this be read on books like "The School of Niklaus Wirth" or "Building High Integrity Applications with SPARK".