Function_field_of_a_variety loading ...