more than one exit point could exist (but they are either return-* or throw instructions)