{\cbf procedure} X 
			\+\\[1.0ex]
	
		\-\\[1.0ex]
	{\cbf end} X \\[3.0ex]