(bind-func Widget_leaf_p (lambda (widget:Widget*) (and (null? (Widget_left_child widget)) (null? (Widget_right_child widget)))))