EiffelThread: Multithreading facilities for Eiffel.