Files in this directory are for use with ISE compiler only,
as they rely on the EiffelThread library.