Property definitions

pthreads $ Threadedbar :: i=
	var i: Int
6,2--11