$GAUDIEXAMPLESROOT/options/RandomNumber.opts true ../../home/RandomNumber.ref