/home/Luca/ISE/IEEE754Adder/TypeCheck.ngc 1566052852
OK