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