A tray battery indicator created in Eiffel.