x86 and gnat