Testing class `final_int'...
30