take into account the fact that SETUP_WITH pushes a finally block
1 file changed