--RandomDemo.load
--Created by Ch. Jacobi; August 7, 1985 3:45:34 pm PDT
--Last Edited by: Christian Jacobi, August 12, 1986 5:18:20 pm PDT
run RandomDemoImpl RandomDemoClient1 RandomDemoClient2