defer implementation: instead of duplicating the code at every exit path, make a basic block that exit paths point to #283