A Game library for ISE Eiffel