Complex_projective_line loading ...