undone : make some locals `final`