let
vampire = {
ext =
"vp"
;
why = [|
"--vampire"
|];
wdp = [| |];
}