Surface_of_general_type loading ...