CORE_assignment: New. The assigner.