(bind-func cadd (lambda (a:float* b:float* c:float* nx:i32) (doloop (j nx) (pset! a j (+ (pref b j) (pref c j))))))