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