First-class_degree loading ...