double Add( in double x , in double y , out double z ) ;
double AddWithoutSleep( in double x , in double y , out double z ) ;
double AddAndCompare( in double x , in double y , in Adder anOtherAdder,
out double z ) ;
void SetLastResult( in double z ) ;
void LastResult( out double z ) ;
double Add( in double x , in double y , out double z ) ;
double AddWithoutSleep( in double x , in double y , out double z ) ;
double AddAndCompare( in double x , in double y , in Adder anOtherAdder,
out double z ) ;
void SetLastResult( in double z ) ;
void LastResult( out double z ) ;