Rename break -> throw to avoid confusion with break in the frontend.