    deferred class
    	THREAD

    General
    	cluster: thread
    	description: "Class defining an Eiffel thread."

    Ancestors
    	THREAD_CONTROL

    Queries
    	thread_id: POINTER

    Commands
    	execute
    	join
    	join_all
    	launch
    	launch_with_attributes (attr: THREAD_ATTRIBUTES)
    	native_join (term: POINTER)
    	sleep (nanoseconds: INTEGER_64)
    	yield

    Constraints
    	is thread capable