(de multiply (A B)
   (* A B) )