class Subclass is Num {} // expect runtime error: Class 'Subclass' cannot inherit from built-in class 'Num'.