Well-defined_expression loading ...