Property definitions

pthreads $ Threadedbar :: defaultinit
class Threadedbar
	super Thread

	

	var i: Int

var s: String

	redef fun main do
	end
end
1,1--12,3