;; predicate (bind-func is_touch_pen:[i1,TOUCHINPUT*]* (lambda (obj) (if (= (& (tref obj 4) TOUCHEVENTF_PEN) 0) #f #t)))