Effective protection level/doc: