Skeleton code is reachable.