Property definitions

pthreads $ MainThread :: defaultinit
# The main thread of the program
class MainThread
	super Thread

	private init do end
end
lib/pthreads/pthreads.nit:359,1--364,3