Property definitions

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