reachable memory check