(bind-func Complex_mag (lambda (a:Complexf) (sqrt (+ (* (tref a 0) (tref a 0)) (* (tref a 1) (tref a 1))))))