Semi-Thue_system loading ...