*.vcd *.lxt a.out