INTERFACE B; IMPORT C; TYPE T = C.T; END B.