| handwaving here
my $log=new Log();
|