echo varenv15.in: before set: "$@"
set -- a b c d e f g h i j k l m n o p q r s t u v w x y z
echo varenv15.in: after set: "$@"
