Check whether the Python3 problem has something to do with the `with_setup` decorator.