class InheritInt inherits Int {
};