class X1 {
    isA X; 
}

