gnat_rm.texi 1000 KB