(do_one_test): Bitwise or check_attrs () into