HOPKINS: Start refactoring BTOCEAN. Get rid of two labels and their associated GOTOs