First_class_constraint loading ...