Eichler's_rule loading ...