Hole_argument loading ...