Free_regular_set loading ...