class GAME_RANDOM Ancestors ANY Clients GAME_RANDOM GAME_RANDOM_SHARED* Suppliers BOOLEAN GAME_RANDOM INTEGER_32 RANDOM REAL_32 TIME
Generated by ISE EiffelStudio