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

##</code><code>##

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