( my $file = $ARGV[0] ) || die "Synopsys: $0 <filename>" ;