void testArithmetic ();