(bind-func cpTransformVect (lambda (t:cpTransform v:cpVect) (cpVect_val (+ (* (tref t 0) (tref v 0)) (* (tref t 2) (tref v 1))) (+ (* (tref t 1) (tref v 0)) (* (tref t 3) (tref v 1))))))