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