UNREACHABLE -> UNREACHABLE_CODE