Not saying NAS is poo, as stated it does a remarkable job for which it was never designed.
However Jovial is a very old language and can induce errors which cannot be trapped by error checking, 'cause there's no error checker for it! So its LONG overdue to be dragged kicking and screaming into the 21st century. For my preference into an object oriented language so we don't introduce regression into areas where no change was made.