Unless they're doing something clever like taking LLVM IR and translating and putting it through the GNAT backend or something?