(bind-func xtm_multiplication (lambda (a:Complexf b:Complexf) (Cpxf (- (* (tref a 0) (tref b 0)) (* (tref a 1) (tref b 1))) (+ (* (tref a 0) (tref b 1)) (* (tref a 1) (tref b 0))))))