" // B is an accessible base class of S and S is an accessible" . . . .