Nagy a boldogsag. Mar csak egy formalisan bizonyitott C fordito kell. ;] Ez is szuletoben: http://compcert.inria.fr/