if {$argc>=1} {
    catch {write format wave -window Wave $1.tcl} res
} else {
    catch {write format wave -window Wave case.tcl} res
}