Rational_function_field loading ...