gnatproof

not defined yet