my $kernel = $_[KERNEL];
$kernel->run;