(bind-func xtm_multiplication (lambda (b:double a:Complexd) (Cpxd (- (* (tref a 0) b) (tref a 1)) (+ (tref a 0) (* (tref a 1) b)))))