if test ${flat:-no} = yes
then
   echo -load←files ./sun4${cedaropt}/$2.o \\
else
   echo -load←files `latestvux ${world}/$1/sun4${cedaropt}/$2.o` \\
fi