Real_plane_curve loading ...