Regular_star_4-polytope loading ...