Code migration and return -> throw