static void Main()
{
Document document = new Document("Greetings");
Paste paste = new Paste(document);
Print print = new Print(document);
clipboard = "Hello, everyone";
paste.Execute();
print.Execute();
paste.Undo();
clipboard = "Bonjour, mes amis";
paste.Execute();
clipboard = "Guten morgen, meine Freunde";
paste.Redo();
print.Execute();
print.Undo();
Console.WriteLine("Logged " + paste.Execute.Count() + " commands");
}
