let
zenon = {
ext =
"znn"
;
why = [|
"--zenon"
|] ;
wdp = [| |] ;
}