global class lib
    {
    int version = 1;	// Library version number.  Should change very slowly.
    to printHi() {print("hi");}

    to randomIx(int size) into int ix
    /* Return a random number in range 0 <= num < size */
        {
	ix = random() * size;
	if (ix == size)
	    ix = 0;
	}
    }

global lib lib = ();