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)
	yield