Covered interface and class declaration