HOPKINS: Get rid of GOTOs in GOHOME