add some do_under_binders code