Test case for reachability code.