In this message: http://gcc.gnu.org/ml/gcc-patches/2008-10/msg01096.html
Gerald indicated a stale link for 'Guide for the use of the Ada programming language in high integrity systems'. The document is, in fact, not removed, just moved. It's new location is: http://www.dit.upm.es/~str/ork/documents/adahis.pdf Gratias tibi ago, Leighton Dawson - - - . . . . . . - .\\//