(bind-func cpBBMerge (lambda (a:cpBB b:cpBB) (cpBB_val (min (tref a 0) (tref b 0)) (min (tref a 1) (tref b 1)) (max (tref a 2) (tref b 2)) (max (tref a 3) (tref b 3)))))