Shouldn't both these else clauses check `Memory::IsValidAddress(highPtr)`?

-[Unknown]