****** Fatal Error: Name of the current class expected. Line 4 column 7 in BAD_CLASS1 (/home/colnet/SmartEiffel/work/lib_test3/bad_class1.e): class deferred BAD_CLASS1 ^ ------