Set(vinf=${VERSION()});
                Set(vrand=${RAND()});
                if( ${ISNULL(${vinf})} )
                {
                        if( ${ISNULL(${vrand})} )
                                Verbose(Version 1.2 or earlier);
                        else
                                Verbose(Version 1.4!!!);
                }
                else
                        Verbose(${vinf} indicates version pre-1.6 or higher);