`&& out > 1024` because there are some checks that reach doesn't get minuscule because at the least, it's needed as a counter to prevent loop paths.