# ABC.pl: print join( ' / ', @ARGV), "\n";