let
error_not_found_class_type n = error_not_found
"Class type"
n