my ($file) = @ARGV
   or die(...);